Formal Theorem Proving on PutnamBench
668Solved Count
ALEPH
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.03 | 668 | - | |
2026.03 | 637 | - | |
2026.03 | 581 | - | |
2025.12 | 580 | 87.9 | |
2026.03 | 500 | - | |
2026.03 | 462 | - | |
2026.03 | 329 | - | |
2026.03 | 110 | - | |
2026.03 | 110 | - | |
2026.03 | 104 | - | |
2026.03 | 91 | - | |
2026.03 | 86 | - | |
2026.03 | 82 | - | |
2026.03 | 80 | - | |
2026.03 | 63 | - | |
2026.03 | 63 | - | |
2026.03 | 47 | - | |
2026.03 | 44 | - | |
2026.03 | 41 | - | |
2026.03 | 38 | - | |
2026.03 | 37 | - | |
2026.03 | 32 | - | |
2026.03 | 28 | - | |
2026.03 | 28 | - | |
2026.03 | 25 | - | |
2026.03 | 25 | - | |
2026.03 | 23 | - | |
2026.03 | 23 | - | |
2026.03 | 21 | - | |
2026.03 | 20 | - | |
2026.03 | 20 | - | |
2026.03 | 17 | - | |
2026.03 | 16 | - | |
2026.03 | 14 | - | |
2026.03 | 14 | - | |
2026.03 | 12 | - | |
2026.03 | 10 | - | |
2026.03 | 10 | - | |
2026.03 | 10 | - | |
2026.03 | 10 | - | |
2026.03 | 8 | - | |
2026.03 | 7 | - | |
2025.12 | - | 50.4 | |
2025.12 | - | 56.1 | |
2025.12 | - | 70 | |
2025.12 | - | 75.8 | |
2025.10 | - | 22 | |
2025.10 | - | 24 | |
2026.02 | - | 7.1 | |
2026.02 | - | 13 | |
2026.02 | - | 1.5 | |
2026.02 | - | 13.8 | |
2026.02 | - | 70 | |
2026.02 | - | 87.9 | |
2026.02 | - | 54.7 |