Putnam
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Automated Formal Theorem Proving | Putnam 2025 | B3 Score1,220 | 18 | |
| Formal Theorem Proving | Putnam 2025 | Proof Lines110 | 12 | |
| Theorem Proving | Putnam 2025 (full) | Problem A1 Score631 | 8 | |
| Mathematical Problem Solving | Putnam 2024 | Points98.3 | 1 | |
| Formal Theorem Proving | Putnam 2025 | Metric- | 0 |
Showing 5 of 5 rows