Lin, Y., Tang, S., Lyu, B., Yang, Z., Chung, J., Zhao, H., . . . Jin, C. (2025). Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.
Chicago Style (17th ed.) CitationLin, Yong, et al. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. 2025.
MLA (9th ed.) CitationLin, Yong, et al. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. 2025.
Warning: These citations may not always be 100% accurate.