Theorem Proving on PutnamBench (test)
72Accuracy
Hilbert
Updated 9d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.10 | 72 | 462 | |
2025.10 | 51 | 329 | |
2025.10 | 14 | 92 | |
2025.10 | 13 | 86 | |
2025.10 | 7 | 47 | |
2025.10 | 4 | 23 | |
2025.10 | 2 | 14 | |
2025.10 | 2 | 10 | |
2025.10 | 1 | 8 | |
2025.10 | 1 | 7 | |
2025.10 | 0.5 | 3 | |
2025.10 | 0.2 | 1 | |
2025.10 | 0 | 0 |