Formal Proving

Goedel-Prover-V2: A Revolution in Automated Theorem Proving

Goedel-Prover-V2 learns from scaffolded proof sketches and its own failed Lean attempts, outperforming AlphaProof and DeepSeek-Prover on miniF2F and PutnamBench.