TY  - RPRT
TI  - Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
AU  - Yong Lin
AU  - Shange Tang
AU  - Bohan Lyu
AU  - Ziran Yang
AU  - Jui-Hui Chung
AU  - Haoyu Zhao
AU  - Lai Jiang
AU  - Yihan Geng
AU  - Jiawei Ge
AU  - Jingruo Sun
AU  - Jiayun Wu
AU  - Jiri Gesi
AU  - Ximing Lu
AU  - David Acuna
AU  - Kaiyu Yang
AU  - Hongzhou Lin
AU  - Yejin Choi
AU  - Danqi Chen
AU  - Sanjeev Arora
AU  - Chi Jin
PY  - 2025
UR  - https://arxiv.org/abs/2508.03613
ID  - 2508.03613
ER  -