Yihan Geng

According to our database, Yihan Geng authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.

Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin

CoRR, August, 2025

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities.

Haoyu Zhao, Yihan Geng, Shange Tang, Yong Lin, Bohan Lyu, Hongzhou Lin, Chi Jin, Sanjeev Arora

CoRR, May, 2025

Theoretical Benefit and Limitation of Diffusion Language Model.

Guhao Feng, Yihan Geng, Jian Guan, Wei Wu, Liwei Wang, Di He

CoRR, February, 2025

2024

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems.

Huaiyuan Ying, Zijian Wu, Yihan Geng, Jiayu Wang, Dahua Lin, Kai Chen

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

Influence Maximization Revisited.

Yihan Geng, Kunyu Wang, Ziqi Liu, Michael Yu, Jeffrey Xu Yu

Proceedings of the Databases Theory and Applications, 2023