mlsanityData to 14 Oct 2026

SAND-Math: Using LLMs to Generate Novel, Difficult and Useful Mathematics Questions and Answers

arXiv 2507.20527 ↗First posted 28 Jul 2025cs.CLcited by 11

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

  1. 2025LIMO: Less is More for Reasoning5 Feb
  2. 2024OpenMathInstruct-2: Accelerating AI for Math with Massive Open-Source Instruction Data2 Oct
  3. 2024AI-Assisted Generation of Difficult Math Questions30 Jul
  4. 2024Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving20 May
  5. 2024Key-Point-Driven Data Synthesis with its Enhancement on Mathematical Reasoning4 Mar
  6. 2023WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct18 Aug

Other references · 13

  1. 2021Training Verifiers to Solve Math Word Problemscited by 10,109
  2. 2019Sentence-BERT: Sentence Embeddings using Siamese BERT-Networkscited by 9,170
  3. 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
  4. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
  5. 2025Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilitiescited by 3,796
  6. 2023GPQA: A Graduate-Level Google-Proof Q&A Benchmarkcited by 2,879
  7. 2024LlamaFactory: Unified Efficient Fine-Tuning of 100+ Language Modelscited by 1,464
  8. 2025s1: Simple test-time scalingcited by 1,341
  9. 2019ZeRO: Memory Optimizations Toward Training Trillion Parameter Modelscited by 1,301
  10. 2023MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Modelscited by 735
  11. 2023Towards General Text Embeddings with Multi-stage Contrastive Learningcited by 723
  12. 2025ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoningcited by 201
1 more
  1. 2025TTT-Bench: A Benchmark for Evaluating Reasoning Ability with Simple and Novel Tic-Tac-Toe-style Gamescited by 3

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2025: 4; 2026: 7.

11 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2024HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics
  2. 2024Large Language Models Struggle with Unreasonability in Math Problems
  3. 2024ChatGLM-Math: Improving Math Problem-Solving in Large Language Models with a Self-Critique Pipeline
  4. 2024MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math Data
  5. 2025RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics
  6. 2025Evaluation of LLMs for mathematical problem solving
  7. 2024LLMs Are Not Intelligent Thinkers: Introducing Mathematical Topic Tree Benchmark for Comprehensive Evaluation of LLMs
  8. 2024Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models -- The Story Goes On