Influence Maximization Revisited. - Yihan Geng; Kunyu Wang; Ziqi Liu; Michael Yu; Jeffrey Xu Yu (ADC, 2023)

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems. - Huaiyuan Ying; Zijian Wu 002; Yihan Geng; Jiayu Wang; Dahua Lin; Kai Chen 026 (NeurIPS, 2024)

Theoretical Benefit and Limitation of Diffusion Language Model. - Guhao Feng; Yihan Geng; Jian Guan; Wei Wu; Liwei Wang 001; Di He 001 (CoRR, 2025)

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities. - Haoyu Zhao; Yihan Geng; Shange Tang; Yong Lin; Bohan Lyu 001; Hongzhou Lin; Chi Jin 001; Sanjeev Arora (CoRR, 2025)

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. - Yong Lin; Shange Tang; Bohan Lyu 001; Ziran Yang; Jui-Hui Chung; Haoyu Zhao; Lai Jiang; Yihan Geng; Jiawei Ge 003; Jingruo Sun; Jiayun Wu; Jiri Gesi; et al. (CoRR, 2025)