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