Formal Theorem Proving on Number Theory
2.51PutnamBench
Hilbert
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.04 | 2.51 | 2.19 | |
2026.04 | 2.1 | 1.72 | |
2026.04 | 1.87 | 1.52 | |
2026.04 | 1.62 | 1.27 | |
2026.04 | 1.2 | 1.07 | |
2026.04 | 1.15 | 0.64 | |
2026.04 | 1.13 | 0.54 | |
2026.04 | 0.96 | 0.61 | |
2026.04 | 0.89 | 0.27 | |
2026.04 | 0.59 | 0.6 | |
2026.04 | 0.58 | 0.5 | |
2026.04 | 0.51 | 0.4 | |
2026.04 | 0.18 | 0.13 |