Theorem Proving on PutnamBench Lean 4 (full)
668Solved Count
Aleph ($1400 cap)
Updated 24d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.06 | 668 | 99.4 | 68 | |
2026.06 | 637 | 94.8 | 54 | |
2026.06 | 581 | 86.5 | 168 | |
2026.06 | 500 | 74.4 | 23 | |
2026.06 | 462 | 68.8 | 39 | |
2026.06 | 365 | 54.3 | 12.6 | |
2026.06 | 329 | 49 | - | |
2026.06 | 86 | 12.8 | 1 | |
2026.06 | 47 | 7 | 18 | |
2026.06 | 28 | 4.2 | 1 | |
2026.06 | 26 | 3.8 | 1 | |
2026.06 | 10 | 1.5 | 1 |