mlsanityData to 14 Oct 2026

CrowdMath: A Dataset of Crowdsourced Mathematical Research Discussions

arXiv 2606.06526 ↗First posted 2 Jun 2026cs.AI cs.LGcited by 0

On the map: LLM reasoning → Mathematical reasoning

Abstract (arXiv)

Large language models have made substantial progress on mathematical reasoning, but existing benchmarks typically evaluate well-specified problems with final answers, step-by-step solutions, or complete proofs. They do not capture collaborative open-problem solving: a setting in which participants propose partial arguments, identify gaps or errors in prior steps, repair flawed reasoning, and gradually synthesize incremental contributions into a proof. We introduce CrowdMath, a dataset of 164 expert-annotated progress chains from the MIT PRIMES--Art of Problem Solving (AoPS) CrowdMath program (2016-2025), a collaborative research initiative whose discussions have led to peer-reviewed publications. Each chain traces a multi-participant forum discussion from an open-problem statement to a completed proof. Posts are labeled by their functional roles in the evolving solution process, including partial progress, proof completion, erroneous reasoning, and error identification. We define evaluation tasks and benchmark six frontier models. Models achieve 83-88% accuracy on next-post prediction, suggesting that they can follow the local flow of mathematical discussion. However, they struggle to identify the functional significance of individual contributions with the best model achieving only 0.42 macro-F1 on post-role classification. CrowdMath exposes a gap between solving well-specified mathematical problems and understanding collaborative mathematical progress as it unfolds.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 23 of its 58 references that are in the map. First posted on arXiv 2 Jun 2026.

Builds on

23 of 58 references.

Closest ancestors · 8

Same direction, newest first

  1. 2026Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification16 Mar
  2. 2025SAND-Math: Using LLMs to Generate Novel, Difficult and Useful Mathematics Questions and Answers28 Jul
  3. 2025OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization23 Jun
  4. 2025MathArena: Evaluating LLMs on Uncontaminated Math Competitions29 May
  5. 2025RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics18 May
  6. 2024HARP: A challenging human-annotated math reasoning benchmark11 Dec
  7. 2024CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities13 Jan
  8. 2023MathDial: A Dialogue Tutoring Dataset with Rich Pedagogical Properties Grounded in Math Reasoning Problems23 May

Other references · 15

  1. 2021Training Verifiers to Solve Math Word Problemscited by 10,109
  2. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
  3. 2023Let's Verify Step by Stepcited by 3,789
  4. 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,136
  5. 2023Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotationscited by 928
  6. 2019MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalismscited by 662
  7. 2017Program Induction by Rationale Generation : Learning to Solve and Explain Algebraic Word Problemscited by 650
  8. 2023LeanDojo: Theorem Proving with Retrieval-Augmented Language Modelscited by 427
  9. 2021MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicscited by 391
  10. 2021A Diverse Corpus for Evaluating and Developing English Math Word Problem Solverscited by 318
  11. 2023ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematicscited by 192
  12. 2021NaturalProofs: Mathematical Theorem Proving in Natural Languagecited by 81
3 more
  1. 2022The TalkMoves Dataset: K-12 Mathematics Lesson Transcripts Annotated for Teacher and Student Discursive Movescited by 38
  2. 2024Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical Problemscited by 11
  3. 2025Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematicscited by 5

Built on by

Not cited yet.

Similar, not cited

Close in wording, no citation either way

  1. 2026ResearchMath-14K: Scaling Research-Level Mathematics via Agents
  2. 2026MathNet: a Global Multimodal Benchmark for Mathematical Reasoning and Retrieval
  3. 2026AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
  4. 2025IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
  5. 2026EternalMath: A Living Benchmark of Frontier Mathematics that Evolves with Human Discovery
  6. 2024HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics
  7. 2025A Matter of Interest: Understanding Interestingness of Math Problems in Humans and Language Models
  8. 2025DeepMath-Creative: A Benchmark for Evaluating Mathematical Creativity of Large Language Models