Formal Theorem Proving on PutnamBench September 2025
462Solved Problems Count
HILBERT
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.09 | 462 | 70 | |
2025.09 | 331 | 50.4 | |
2025.09 | 88 | 13.3 | |
2025.09 | 86 | 13.4 | |
2025.09 | 47 | 7.1 | |
2025.09 | 26 | 4 | |
2025.09 | 23 | 3.6 | |
2025.09 | 10 | 1.5 | |
2025.09 | 8 | 1.2 | |
2025.09 | 7 | 1.1 | |
2025.09 | 7 | 1.1 |