Theorem Proving on Putnam-Bench
87.9Pass@32
Seed-Prover 1.5
Updated 27d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 87.9 | |
2026.03 | 50.4 | |
2026.03 | 41.5 | |
2026.03 | 31.7 | |
2026.03 | 28.9 | |
| 13 | ||
2026.03 | 10.4 | |
2026.03 | 8.6 | |
2026.03 | 7.1 | |
2026.03 | 6.7 | |
2026.03 | 6.7 | |
2026.03 | 5.8 | |
2026.03 | 4.9 | |
2026.03 | 4.8 | |
2026.03 | 3.9 | |
2026.03 | 3.8 | |
2026.03 | 3.3 | |
2026.05 | 3 | |
2026.05 | 3 | |
2026.05 | 2 | |
2026.05 | 2 | |
2026.03 | 1.4 | |
2026.03 | 1.2 | |
2026.03 | 1.2 | |
2026.03 | 1.2 | |
2026.05 | 1 | |
2026.05 | 0 | |
2026.05 | 0 | |
2026.05 | 0 |