Putnam-AXIOM (2025)

openreview.net/forum?id=kqj2Cn3Sxr

We introduce Putnam-AXIOM, a benchmark of 522 university-level competition problems drawn from the prestigious William Lowell Putnam Mathematical Competition, and Putnam-AXIOM Variation, an unseen companion set of 100 functional variants generated by programmatically perturbing variables and constants.

 Ancestors (10)

Math AI benchmark
Automated theorem proving
AI by capability
Artificial intelligence
Machine learning
Computer
Information technology
Area of technology
Technology
 Home