CrowdMath: A Dataset of Crowdsourced Mathematical Research Discussions
cs.AI, cs.LG
Submitted: 2026-06-02
Updated: 2026-08-28
Comments: 16 pages, 4 figures; Accepted to EMNLP 2026 Findings
Code: https://github.com/text-machine-lab/crowdmath
License: http://creativecommons.org/licenses/by/4.0/
The gist: 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
Terminology
Abstract
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.
Sources
- Extremal results for graphs of bounded metric dimension
- ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
- DeepMath-Creative: A Benchmark for Evaluating Mathematical Creativity of Large Language Models
- Training Verifiers to Solve Math Word Problems
- FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
- FIMO: A Challenge Formal Dataset for Automated Theorem Proving
- Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification
- HARP: A challenging human-annotated math reasoning benchmark
Related papers
- MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
- Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
- The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
- MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
- Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems
- VSAL: A Vision Solver with Adaptive Layouts for Graph Property Detection