| MiniF2F (test) | Seed Prover | Pass@199.6 | | 128 | 9d ago |
| miniF2F Isabelle (val) | LEGO-Prover* | Success Rate57 | | 41 | 1mo ago |
| miniF2F Isabelle (test) | Lyra | Success Rate51.2 | | 39 | 1mo ago |
| miniF2F (val) | POETRY | Pass@142.2 | | 15 | 1mo ago |
| Lean (test) | α-DPG | Pass@173 | | 14 | 1mo ago |
| PutnamBench | Seed-Prover 1.5 | Solve Rate87.9 | | 14 | 1mo ago |
| Putnam 2025 | rocq-mcp | Proof Lines110 | | 12 | 25d ago |
| ProofNet (test) | ProofSketcher | Pass@144.62 | | 12 | 9d ago |
| PutnamBench September 2025 | HILBERT | Solved Problems Count462 | | 11 | 1mo ago |
| mathlib (val) | θ_mathlib (expert iterated on mathlib-train) | Pass@162.6 | | 9 | 1mo ago |
| Fate-H | Seed-Prover 1.5 | Solve Rate80 | | 7 | 1mo ago |
| PhysLeanData (test) | PhysProver | Classical Score58.8 | | 6 | 1mo ago |
| ProofNet (val) | Hierarchical Attention | Pass Rate9.04 | | 6 | 1mo ago |
| mathlib (test) | θ_mathlib (expert iterated on mathlib-train) | Pass@163 | | 3 | 1mo ago |
| Metamath set.mm (val) | GPT-f (160m) | Performance Score29.22 | | 3 | 1mo ago |
| LeanDojo (test) | ProofSketcher | Pass Rate58.25 | | 2 | 9d ago |
| Combibench | Seed-Prover 1.5 | Solve Rate48 | | 2 | 1mo ago |
| Fate-X | Seed-Prover 1.5 | Solve Rate33 | | 2 | 1mo ago |
| large-scale benchmark 2,000 problems (test) | TheoremForge | FR Rate0.813 | | 2 | 1mo ago |
| Putnam 2025 | - | - | | 0 | 1mo ago |
