CORE: Conflict-Oriented Reasoning Elimination for Verifiable Language-Model Search

arXiv:2609.39069 · cs.CL · Submitted 2026-09-30 · Read on arXiv

cs.CL

Submitted: 2026-09-30

Updated: 2026-09-30

Code: https://github.com/huggingface/Math-Verify

Terminology

• Core — 114× in this paper · explained in 2 episodes
• Verifier — 39× in this paper · explained in 2 episodes
• Consistency — 5× in this paper · explained in 3 episodes
• Trace — 5× in this paper · explained in 2 episodes
• Ablation — 4× in this paper · explained in 1 episode
• Self-consistency — 4× in this paper · explained in 2 episodes
• Verification — 4× in this paper · explained in 2 episodes
• Chain-of-Thought Prompting — 2× in this paper · explained in 2 episodes
• Pruning — 2× in this paper · explained in 4 episodes
• Accuracy — 1× in this paper · explained in 1 episode
• Benchmark — 1× in this paper · explained in 2 episodes
• Error Localization — 1× in this paper · explained in 2 episodes
• Failure Modes — 1× in this paper · explained in 3 episodes
• Iterative Refinement — 1× in this paper · explained in 3 episodes
• Model-Agnostic — 1× in this paper · explained in 2 episodes
• Reasoning Traces — 1× in this paper · explained in 3 episodes
• World Model — 1× in this paper · explained in 7 episodes

Sources

• Evaluating Large Language Models Trained on Code
• Training Verifiers to Solve Math Word Problems
• LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks
• Measuring Faithfulness in Chain-of-Thought Reasoning
• Solving math word problems with process- and outcome-based feedback

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