Putnam
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Automated Formal Theorem Proving | Putnam 2025 | Average Score1,220 | 28 | |
| Formal Theorem Proving | Putnam 2025 | Proof Lines110 | 12 | |
| Theorem Proving | Putnam 2025 (full) | Problem A1 Score631 | 8 | |
| Mathematical Reasoning | Putnam | Score43.34 | 6 | |
| Formal Theorem Proving | Putnam 2025 | Overall Success Rate100 | 5 | |
| Formal proof refactoring | Putnam 12 problems 2025 | Average Score4.27 | 2 | |
| Mathematical Problem Solving | Putnam 2024 | Points98.3 | 1 |
Showing 7 of 7 rows