Putnam-AXIOM
= 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.