LLMs cannot spot math errors, even when allowed to peek into the solution
Not on the map. Why?
Abstract (arXiv)
Large language models (LLMs) demonstrate remarkable performance on math word problems, yet they have been shown to struggle with meta-reasoning tasks such as identifying errors in student solutions. In this work, we investigate the challenge of locating the first error step in stepwise solutions using two error reasoning datasets: VtG and PRM800K. Our experiments show that state-of-the-art LLMs struggle to locate the first error step in student solutions even when given access to the reference solution. To that end, we propose an approach that generates an intermediate corrected student solution, aligning more closely with the original student's solution, which helps improve performance.
Key facts. Cited by 7 papers in the map (data through 14 Oct 2026). Builds on 13 of its 26 references that are in the map. First posted on arXiv 1 Sep 2025.
Builds on
13 of 26 references.
References · 13
- 2023GPT-4 Technical Reportcited by 18,396
- 2024The Llama 3 Herd of Modelscited by 14,715
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 2019BERTScore: Evaluating Text Generation with BERTcited by 5,512
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
- 2023Let's Verify Step by Stepcited by 3,789
- 2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvementcited by 1,090
- 2023MathDial: A Dialogue Tutoring Dataset with Rich Pedagogical Properties Grounded in Math Reasoning Problemscited by 131
- 2023MR-GSM8K: A Meta-Reasoning Benchmark for Large Language Model Evaluationcited by 57
- 2024Stepwise Verification and Remediation of Student Reasoning Errors with Large Language Model Tutorscited by 41
- 2024What Makes Math Word Problems Challenging for LLMs?cited by 19
- 2024MIRAGE-Bench: Automatic Multilingual Benchmark Arena for Retrieval-Augmented Generation Systemscited by 14
Built on by
Citing papers per year: 2026: 7.
7 papers.
- 2026REFLECT: Intervention-Supported Error Attribution for Silent Failures in LLM Agent Tracescited by 7
- 2026When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoringcited by 2
- 2026The Aftermath of DrawEduMath: Vision Language Models Underperform with Struggling Students and Misdiagnose Errorscited by 1
- 2026HyperGuide: Hyperbolic Guidance for Efficient Multi-Step Reasoning in Large Language Modelscited by 1
- 2026Incentives Of EdTech: A Systematic Review Of EduNLP Researchcited by 0
- 2026When Tokenization is Secretly Output Supervisioncited by 0
- 2026Correct Diagnosis, Better Feedback: A Symbolic-Verifier for Faithful LLM Tutoring Feedback in Logic Proofscited by 0
- 2026Correct Diagnosis, Better Feedback: A Symbolic-Verifier for Faithful LLM Tutoring Feedback in Logic Proofs18 Sep 2026
- 2026When Tokenization is Secretly Output Supervision1 Sep 2026
- 2026REFLECT: Intervention-Supported Error Attribution for Silent Failures in LLM Agent Traces8 Jun 2026
- 2026HyperGuide: Hyperbolic Guidance for Efficient Multi-Step Reasoning in Large Language Models22 May 2026
- 2026Incentives Of EdTech: A Systematic Review Of EduNLP Research13 May 2026
- 2026When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring28 Mar 2026
- 2026The Aftermath of DrawEduMath: Vision Language Models Underperform with Struggling Students and Misdiagnose Errors1 Mar 2026