mlsanityData to 14 Oct 2026

Putnam-like dataset summary: LLMs as mathematical competition contestants

arXiv 2509.24827 ↗First posted 29 Sep 2025cs.LG cs.AIcited by 2

Not on the map. Why?

Abstract (arXiv)

In this paper we summarize the results of the Putnam-like benchmark published by Google DeepMind. This dataset consists of 96 original problems in the spirit of the Putnam Competition and 576 solutions generated by LLMs. We analyze the performance of models on this set of problems to verify their ability to solve problems from mathematical contests. We find that top models, particularly Gemini 2.5 Pro, achieve high scores, demonstrating strong mathematical reasoning capabilities, although their performance was lower on problems from the 2024 Putnam competition. The analysis highlights distinct behavioral patterns among models, including bimodal scoring distributions and challenges in providing fully rigorous justifications.

Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). Builds on 11 of its 16 references that are in the map. First posted on arXiv 29 Sep 2025.

Builds on

11 of 16 references.

References · 11

  1. 2025MathArena: Evaluating LLMs on Uncontaminated Math Competitionscited by 297
  2. 2024Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Modelscited by 284
  3. 2024FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AIcited by 243
  4. 2024PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competitioncited by 165
  5. 2025Seed-Prover: Deep and Broad Reasoning for Automated Theorem Provingcited by 101
  6. 2025Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipelinecited by 82
  7. 2025Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiadcited by 74
  8. 2023FIMO: A Challenge Formal Dataset for Automated Theorem Provingcited by 55
  9. 2025The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofscited by 30
  10. 2025Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematicscited by 24
  11. 2025Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMscited by 11

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 2.

2 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2025Evaluating the Reasoning Abilities of LLMs on Underrepresented Mathematics Competition Problems
  2. 2025An Investigation of Robustness of LLMs in Mathematical Reasoning: Benchmarking with Mathematically-Equivalent Transformation of Advanced Mathematical Problems
  3. 2025Evaluation of LLMs for mathematical problem solving
  4. 2024CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities
  5. 2026The CompMath-MCQ Dataset: Are LLMs Ready for Higher-Level Math?
  6. 2025EEFSUVA: A New Mathematical Olympiad Benchmark
  7. 2026Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs
  8. 2024MindStar: Enhancing Math Reasoning in Pre-trained LLMs at Inference Time