| MiniF2F (test) | Goedel-Architect | Pass@1100 | | 157 | 1mo ago |
| Isar n-ary tree consensus Individual Lemmas and Average | IsabeLLM | Success Rate100 | | 68 | 1mo ago |
| PutnamBench | | Solved Count668 | | 56 | 1mo ago |
| miniF2F Isabelle (val) | LEGO-Prover* | Success Rate57 | | 41 | 4mo ago |
| miniF2F Isabelle (test) | Lyra | Success Rate51.2 | | 39 | 4mo ago |
| ProofNet | GOEDEL VALUE | Accuracy24.26 | | 26 | 2mo ago |
| miniF2F rw (test) | Goedel-Prover-V2-8B | Pass@875 | | 24 | 2mo ago |
| miniF2F rw (val) | Goedel-Prover-V2-8B | Pass@881.1 | | 24 | 2mo ago |
| Combibench | Seed-Prover 1.5 | Solve Rate48 | | 15 | 2mo ago |
| miniF2F (val) | POETRY | Pass@142.2 | | 15 | 4mo ago |
| Lean (test) | α-DPG | Pass@173 | | 14 | 4mo ago |
| Number Theory | Hilbert | PutnamBench2.51 | | 13 | 2mo ago |
| Inequality | Hilbert | 567NEQ3.1 | | 13 | 2mo ago |
| miniF2F | Segment-level | Proof Success Rate66.31 | | 12 | 2mo ago |
| miniF2F | | Average Token Cost228.64 | | 12 | 2mo ago |
| Putnam 2025 | rocq-mcp | Proof Lines110 | | 12 | 4mo ago |
| ProofNet (test) | ProofSketcher | Pass@144.62 | | 12 | 2mo ago |
| PutnamBench September 2025 | HILBERT | Solved Problems Count462 | | 11 | 4mo ago |
| Ineq-Comp (test) | DeepSeek-Prover-V2-7B | Ineq-Comp (Seed)66.7 | | 9 | 2mo ago |
| mathlib (val) | θ_mathlib (expert iterated on mathlib-train) | Pass@162.6 | | 9 | 4mo ago |
| MathOlympiadBench (MoBench) | GOEDEL VALUE | Accuracy34.44 | | 8 | 3mo ago |
| Fate-H | Seed-Prover 1.5 | Solve Rate80 | | 7 | 4mo ago |
| FormalML Hard | | Proof Length11.2 | | 6 | 2mo ago |
| Synthetic 20 | | Proof Length14.5 | | 6 | 2mo ago |
| Library 10 | | Proof Length10 | | 6 | 2mo ago |
