Theorem Proving on PutnamBench (Proof Length Metric)
62.5Average Proof Length
DreamProver
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.04 | 62.5 | |
2026.04 | 67.3 | |
2026.04 | 78.9 | |
2026.04 | 83.2 | |
2026.04 | 85.7 | |
2026.04 | 126.9 | |
2026.04 | 129.4 | |
2026.04 | 146.2 | |
2026.04 | 157.3 |