Goedel-LM/Goedel-Prover-V2-32B

Goedel-Prover-V2-32B by Goedel-LM is a 32 billion parameter open-source language model series designed for automated formal proof generation, achieving state-of-the-art performance in theorem proving. It utilizes scaffolded data synthesis, verifier-guided self-correction, and model averaging to master complex mathematical theorems. This model excels at formal mathematics tasks, outperforming larger models on benchmarks like MiniF2F and PutnamBench, making it ideal for advanced mathematical reasoning and proof assistance.