影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
48.35/100
前 9.4%
全站排名 #6,029
发表论文8 篇
平均评分
年均产出4.0 篇/年
Lun Du
研究方向
Automated Thorem Proving · Source Code Understanding · Tabular Data Mining · GNNs · graph representation learning · deep learning · social network analysis
16
Automated Formalization via Conceptual Retrieval-Augmented LLMs
ICLR 2026Poster
二作18
Hierarchy Decoding: A Training-free Parallel Decoding Strategy for Diffusion Large Language Models
ICLR 2026Poster
二作33
InnoGym: Benchmarking the Innovation Potential of AI Agents
ICLR 2026Poster
23
EvolProver: Advancing Automated theorem proving by Evolving Formalized Problems via Symmetry and Difficulty
ICLR 2026Poster
通讯17
MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
ICLR 2026Rejected
二作4
RefP2C: Reflective Paper-to-Code Development Enabled by Fine-Grained Verification
ICLR 2026Withdrawn
三作