作者位次 #9/20ICLR 2026Poster
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
理论与学习动力学OpenReview