Putnam-AXIOM (source code)

= Putnam-AXIOM
{c}
{title2=2025}

https://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.