Hide and Seek with LLMs: An Adversarial Game for Sneaky Error Generation and Self-Improving Diagnosis
On the map: LLM reasoning → Mathematical reasoning
Abstract (arXiv)
Large Language Models (LLMs) excel in reasoning and generation across domains, but still struggle with identifying and diagnosing complex errors. This stems mainly from training objectives that prioritize correct answers, limiting exposure to and learning from errors. While recent studies have begun to address this by introducing error signals, most rely on shallow, static errors, restricting improvement in deep diagnostic ability. To overcome this, we propose Hide and Seek Game (HSG), a dynamic adversarial framework for error generation and diagnosis, and evaluate it on mathematical problem-solving. HSG involves two adversarial roles: Sneaky, which "hides" by generating subtle, deceptive reasoning errors, and Diagnosis, which "seeks" to accurately detect them. Through adversarial co-evolution, both error stealth and diagnostic precision are enhanced. Experiments on several math reasoning tasks show that HSG significantly boosts error diagnosis, achieving 16.8%--31.4% higher accuracy than baselines like GPT-4o. We also release a challenging dataset of deceptive errors and diagnostic annotations as a benchmark for future research.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 20 of its 26 references that are in the map. First posted on arXiv 5 Aug 2025.
Builds on
20 of 26 references.
Closest ancestors · 3
Same direction, newest first
- 2025MathDebugger: Detecting and Diagnosing Errors in Synthetic Mathematical Data26 Feb
- 2025rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking8 Jan
- 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models5 Feb
Other references · 17
- 2022Training language models to follow instructions with human feedbackcited by 15,712
- 2017Proximal Policy Optimization Algorithmscited by 14,441
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2023Direct Preference Optimization: Your Language Model is Secretly a Reward Modelcited by 7,916
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
- 2025Qwen3 Embedding: Advancing Text Embedding and Reranking Through Foundation Modelscited by 1,175
- 2023Large Language Models Cannot Self-Correct Reasoning Yetcited by 965
- 2023CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquingcited by 751
- 2025Skywork-Reward-V2: Scaling Preference Data Curation via Human-AI Synergycited by 204
- 2024Large Language Models for Education: A Survey and Outlookcited by 185
- 2017On a Formal Model of Safe and Scalable Self-driving Carscited by 129
- 2024CriticBench: Benchmarking LLMs for Critique-Correct Reasoningcited by 88
5 more
- 2024Prover-Verifier Games improve legibility of LLM outputscited by 79
- 2024HaluEval-Wild: Evaluating Hallucinations of Language Models in the Wildcited by 27
- 2023GrammarGPT: Exploring Open-Source LLMs for Native Chinese Grammatical Error Correction with Supervised Fine-Tuningcited by 23
- 2023Assessing Student Errors in Experimentation Using Artificial Intelligence and Large Language Models: A Comparative Study with Human Raterscited by 16
- 2025UloRL:An Ultra-Long Output Reinforcement Learning Approach for Advancing Large Language Models' Reasoning Abilitiescited by 11
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2024Give me a hint: Can LLMs take a hint to solve math problems?
- 2026MathDuels: A Self-Play Benchmark That Grows
- 2026Evaluating Research-Level Math Proofs via Strict Step-Level Verification
- 2025RIDE: Difficulty Evolving Perturbation with Item Response Theory for Mathematical Reasoning
- 2024GSM-Plus: A Comprehensive Benchmark for Evaluating the Robustness of LLMs as Mathematical Problem Solvers
- 2025MSCR: Exploring the Vulnerability of LLMs' Mathematical Reasoning Abilities Using Multi-Source Candidate Replacement
- 2025Toward Automated Robustness Evaluation of Mathematical Reasoning
- 2025Evaluating from Benign to Dynamic Adversarial: A Squid Game for Large Language Models