Theorem Proving on PutnamBench Number Theory
19Solved Problems
DreamProver
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.04 | 19 | 28.8 | |
2026.04 | 16 | 24.2 | |
2026.04 | 16 | 24.2 | |
2026.04 | 8 | 12.1 | |
2026.04 | 7 | 10.6 | |
2026.04 | 4 | 6.1 | |
2026.04 | 4 | 6.1 | |
2026.04 | 3 | 4.5 | |
2026.04 | 3 | 4.5 | |
2026.04 | 0 | 0 | |
2026.04 | 0 | 0 | |
2026.04 | 0 | 0 | |
2026.04 | 0 | 0 |