Formal Theorem Proving on Fate-H
80Solve RateSeed-Prover 1.5
Evaluation Results
| Method | Links | |
|---|---|---|
| Seed-Prover 1.5Compute Budget=10 H20 days / problem2025.12 | 80 | |
| Seed-Prover 1.52026.02 | 80 | |
| AxProverBaseunderlying LLM=Opus 4.5, thinking budget=32k, iterations=502026.02 | 66 | |
| Seed-Prover 1.0 (medium)Compute Budget=18 H20 days / problem2025.12 | 35 | |
| DeepSeek V22026.02 | 3 | |
| Goedel Prover V22026.02 | 2 | |
| Kimina Prover2026.02 | 2 |