Scholar
Yihan Geng
Google Scholar ID: 9jts-VQAAAAJ
Peking University
Citations & Impact
Citations
83
H-index
4
i10-index
2
Publications
5
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction (Preprint, core contributor)
- Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities (NeurIPS 2025)
- Theoretical Benefit and Limitation of Diffusion Language Model (NeurIPS 2025, co-first author)
- Lean Workbook: A large-scale Lean problem set formalized from natural language math problems (NeurIPS 2024)
- Samsung Scholarship (2023–2024)
- Peking University Ding Shisun - Gui Linlin Outstanding Student Scholarship (2023–2024)
- Third Prize of Peking University Scholarship (2022–2023)
- Merit Student of Peking University (2022, 2023)
- Silver Medalist, Chinese Mathematical Olympiad (CMO, 2021)
- Gold Medalist, China Girl’s Mathematical Olympiad (CGMO, 2021)
Co-authors