SMRC: Aligning Large Language Models with Student Reasoning for Mathematical Error Correction

arXiv:2511.14684 · cs.CL · Submitted 2025-11-18 · Read on arXiv

cs.CL

Submitted: 2025-11-18

Updated: 2026-08-27

Comments: Accepted to Findings of EMNLP 2026

Code: https://github.com/Mind-Lab-ECNU/SMRC

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Benchmark — 20× in this paper · explained in 2 episodes
• Accuracy — 17× in this paper · explained in 1 episode
• Monte Carlo Tree Search — 14× in this paper
• Alignment — 8× in this paper · explained in 1 episode
• Core — 7× in this paper · explained in 2 episodes
• Consistency — 5× in this paper · explained in 3 episodes
• Pruning — 5× in this paper · explained in 4 episodes
• Ablation — 4× in this paper · explained in 1 episode
• Large Language Models (LLMs) — 4× in this paper · explained in 6 episodes
• Verification — 4× in this paper · explained in 2 episodes
• Ablation study — 3× in this paper · explained in 1 episode
• Fidelity — 3× in this paper · explained in 2 episodes
• Iterative Refinement — 3× in this paper · explained in 3 episodes
• Multi-Solution Error Benchmark — 3× in this paper
• Scaling Laws — 3× in this paper · explained in 4 episodes
• Student Mathematical Reasoning Correction — 3× in this paper
• Test-time Scaling — 3× in this paper · explained in 2 episodes
• Correct Step Retention Rate — 2× in this paper
• Foundation Model — 2× in this paper · explained in 3 episodes
• Foundation Models — 2× in this paper · explained in 7 episodes
• Prompt Engineering — 2× in this paper · explained in 4 episodes
• Reinforcement Learning — 2× in this paper · explained in 4 episodes
• Robustness — 2× in this paper · explained in 5 episodes
• Test-Time Scaling (TTS) — 2× in this paper · explained in 2 episodes
• Thought-Preserving Error Correction — 2× in this paper
• Upper Confidence Bound for Trees — 2× in this paper
• Ablation Studies — 1× in this paper · explained in 1 episode
• Cognitive Depth — 1× in this paper · explained in 2 episodes
• Direct Error Correction — 1× in this paper
• Fine-Tuning — 1× in this paper · explained in 5 episodes
• Generalization — 1× in this paper · explained in 13 episodes
• Generative AI — 1× in this paper · explained in 2 episodes
• Generative Model — 1× in this paper · explained in 2 episodes
• Generative Models — 1× in this paper · explained in 2 episodes
• Hallucination — 1× in this paper · explained in 3 episodes
• LLM-as-a-Judge — 1× in this paper · explained in 3 episodes
• Model-Agnostic — 1× in this paper · explained in 2 episodes
• Reward Function — 1× in this paper · explained in 2 episodes
• Student-Aware Mathematical Reasoning Correction — 1× in this paper
• Verifier — 1× in this paper · explained in 2 episodes

Sources

• LIMR: Less is More for RL Scaling
• ProcessBench: Identifying Process Errors in Mathematical Reasoning
• Training Verifiers to Solve Math Word Problems

Related papers

• Exploring Solution Divergence and Its Effect on Large Language Model Problem Solving
• Ishigaki-IDS-Bench: A Benchmark for Generating Information Delivery Specification from BIM Information Requirements
• Subliminal Steering: Stronger Encoding of Hidden Signals
• MedStruct-S: A Benchmark for Key Discovery, Key-Conditioned QA and Semi-Structured Extraction from OCR Clinical Reports
• The End of Transformers? On Challenging Attention and the Rise of Sub-Quadratic Architectures
• Untangling the Mechanisms of Misleading Context in Medical Question Answering