Cite
Notes
Only stored in your browser.
Attribution
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
arXiv 2025
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
from 2 papers
Bohan Lyu
Chi Jin
Danqi Chen
professor
Hongzhou Lin
Kaiyu Yang
Sanjeev Arora
Shange Tang
Yong Lin
David Acuna
Haoyu Zhao