Putnam
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| 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 3 of 3 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Theorem Proving | Putnam 2025 (full) | Problem A1 Score631 | 8 | |
| Mathematical Problem Solving | Putnam 2024 | Points98.3 | 1 | |
| Formal Theorem Proving | Putnam 2025 | Metric- | 0 |