Formal Theorem Proving on PutnamBench
87.9Solve Rate
Seed-Prover 1.5
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.12 | 87.9 | 580 | |
2026.02 | 87.9 | - | |
2025.12 | 75.8 | - | |
2025.12 | 70 | - | |
2026.02 | 70 | - | |
2025.12 | 56.1 | - | |
2026.02 | 54.7 | - | |
2025.12 | 50.4 | - | |
2025.10 | 24 | - | |
2025.10 | 22 | - | |
2026.02 | 13.8 | - | |
2026.02 | 13 | - | |
2026.02 | 7.1 | - | |
2026.02 | 1.5 | - |