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 | |
| Mathematical Problem Solving | Putnam 2024 | Points98.3 | 1 | |
| Formal Theorem Proving | Putnam 2025 | Metric- | 0 |
Showing 6 of 6 rows