SAND-Math: Using LLMs to Generate Novel, Difficult and Useful Mathematics Questions and Answers
On the map: LLM reasoning → Mathematical reasoning
Abstract (arXiv)
The demand for Large Language Models (LLMs) at multiple scales, capable of sophisticated and sound mathematical reasoning, continues to grow. However, the development of performant mathematical LLMs is often bottlenecked by the scarcity of useful training data containing problems with significant complexity. We introduce SAND-Math (Synthetic Augmented Novel and Difficult Mathematics problems and solutions), a pipeline that addresses this by first synthesizing high-quality problems from scratch and then systematically elevating their complexity via a our newly proposed Difficulty Hiking step. We demonstrate the effectiveness of our approach through two key findings: (1) Augmenting a strong post-training baseline with a small 500-sample SAND-Math dataset significantly boosts performance, outperforming the next-best synthetic dataset by uparrow 17.85 absolute points on AIME25 benchmark. (2) In a dedicated ablation study, we show the effectiveness of our Difficulty Hiking process in increasing average problem difficulty from 5.02 to 5.98. This step consequently lifts AIME25 results from 46.38% to 49.23%. The full generation pipeline, final dataset, and a fine-tuned model form a practical and scalable toolkit for building capable and efficient mathematical reasoning LLMs.
Key facts. Cited by 11 papers in the map (data through 14 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 19 of its 33 references that are in the map. First posted on arXiv 28 Jul 2025.
Builds on
19 of 33 references.
Closest ancestors · 6
Same direction, newest first
- 2025LIMO: Less is More for Reasoning5 Feb
- 2024OpenMathInstruct-2: Accelerating AI for Math with Massive Open-Source Instruction Data2 Oct
- 2024AI-Assisted Generation of Difficult Math Questions30 Jul
- 2024Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving20 May
- 2024Key-Point-Driven Data Synthesis with its Enhancement on Mathematical Reasoning4 Mar
- 2023WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct18 Aug
Other references · 13
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 2019Sentence-BERT: Sentence Embeddings using Siamese BERT-Networkscited by 9,170
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
- 2025Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilitiescited by 3,796
- 2023GPQA: A Graduate-Level Google-Proof Q&A Benchmarkcited by 2,879
- 2024LlamaFactory: Unified Efficient Fine-Tuning of 100+ Language Modelscited by 1,464
- 2025s1: Simple test-time scalingcited by 1,341
- 2019ZeRO: Memory Optimizations Toward Training Trillion Parameter Modelscited by 1,301
- 2023MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Modelscited by 735
- 2023Towards General Text Embeddings with Multi-stage Contrastive Learningcited by 723
- 2025ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoningcited by 201
Built on by
Citing papers per year: 2025: 4; 2026: 7.
11 papers.
- 2025BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMscited by 27
- 2025The Achilles' Heel of LLMs: How Altering a Handful of Neurons Can Cripple Language Abilitiescited by 7
- 2025ScaleDiff: Scaling Difficult Problems for Advanced Mathematical Reasoningcited by 6
- 2026Composition-RL: Compose Your Verifiable Prompts for Reinforcement Learning of Large Language Modelscited by 6
- 2026Data Science and Technology Towards AGI Part I: Tiered Data Managementcited by 4
- 2026Code2Math: Can Your Code Agent Effectively Evolve Math Problems Through Exploration?cited by 2
- 2026Verifier-Backed Hard Problem Generation for Mathematical Reasoningcited by 2
- 2025EduAgentQG: Multi-Agent Personalized Mathematics Question Generation with Explicit Diversity and Objective-Aware Evaluationcited by 0
- 2026CoDiQ: Test-Time Scaling for Controllable Difficult Question Generationcited by 0
- 2026CrowdMath: A Dataset of Crowdsourced Mathematical Research Discussionscited by 0
- 2026Eta Given Delta: Defining LLM Tool Efficiency With Marginal Tool Utilitycited by 0
- 2026CrowdMath: A Dataset of Crowdsourced Mathematical Research Discussions2 Jun 2026
- 2026Eta Given Delta: Defining LLM Tool Efficiency With Marginal Tool Utility7 May 2026
- 2026Verifier-Backed Hard Problem Generation for Mathematical Reasoning7 May 2026
- 2026Code2Math: Can Your Code Agent Effectively Evolve Math Problems Through Exploration?3 Mar 2026
- 2026Composition-RL: Compose Your Verifiable Prompts for Reinforcement Learning of Large Language Models12 Feb 2026
- 2026Data Science and Technology Towards AGI Part I: Tiered Data Management9 Feb 2026
- 2026CoDiQ: Test-Time Scaling for Controllable Difficult Question Generation2 Feb 2026
- 2025EduAgentQG: Multi-Agent Personalized Mathematics Question Generation with Explicit Diversity and Objective-Aware Evaluation8 Nov 2025
- 2025The Achilles' Heel of LLMs: How Altering a Handful of Neurons Can Cripple Language Abilities11 Oct 2025
- 2025BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs6 Oct 2025
- 2025ScaleDiff: Scaling Difficult Problems for Advanced Mathematical Reasoning25 Sep 2025
Similar, not cited
Close in wording, no citation either way
- 2024HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics
- 2024Large Language Models Struggle with Unreasonability in Math Problems
- 2024ChatGLM-Math: Improving Math Problem-Solving in Large Language Models with a Self-Critique Pipeline
- 2024MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math Data
- 2025RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics
- 2025Evaluation of LLMs for mathematical problem solving
- 2024LLMs Are Not Intelligent Thinkers: Introducing Mathematical Topic Tree Benchmark for Comprehensive Evaluation of LLMs
- 2024Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models -- The Story Goes On