Yihan Geng

Identifiers

• name variant Yihan Geng 0.60 · backfill

Papers (1)

1. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction cs.LG · 2025 · author #8

Mentions

• 2508.03613 #8 · arxiv_oai · confidence 0.70 Yihan Geng

Frequent Coauthors

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