Rewarding Novel Deductions: Solver-guided Process Supervision for Logical Reasoning

arXiv:2609.34660 · cs.CL · Submitted 2026-09-28 · Read on arXiv

cs.CL

Submitted: 2026-09-28

Updated: 2026-10-01

Terminology

• Trace — 31× in this paper · explained in 2 episodes
• Benchmark — 27× in this paper · explained in 2 episodes
• Accuracy — 24× in this paper · explained in 1 episode
• Consistency — 16× in this paper · explained in 3 episodes
• Verification — 12× in this paper · explained in 2 episodes
• Reinforcement Learning — 11× in this paper · explained in 4 episodes
• Core — 6× in this paper · explained in 2 episodes
• Verifier — 6× in this paper · explained in 2 episodes
• Reasoning Traces — 5× in this paper · explained in 3 episodes
• GRPO — 4× in this paper · explained in 6 episodes
• Ablation — 2× in this paper · explained in 1 episode
• Hamad Bin Khalifa University — 2× in this paper
• Redundancy — 2× in this paper · explained in 2 episodes
• SMT solver — 2× in this paper · explained in 2 episodes
• Ablation study — 1× in this paper · explained in 1 episode
• Abstraction — 1× in this paper · explained in 1 episode
• Chain-of-Thought Prompting — 1× in this paper · explained in 2 episodes
• Commentary — 1× in this paper · explained in 2 episodes
• Interpretability — 1× in this paper · explained in 15 episodes
• Large Language Models (LLMs) — 1× in this paper · explained in 6 episodes
• RAG — 1× in this paper · explained in 3 episodes
• Regularization — 1× in this paper · explained in 3 episodes
• Structured Reasoning — 1× in this paper · explained in 3 episodes

Sources

• Phi-4-reasoning Technical Report
• Training Verifiers to Solve Math Word Problems
• ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning
• DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
• Qwen3 Technical Report
• DAPO: An Open-Source LLM Reinforcement Learning System at Scale
• Making Small Language Models Efficient Reasoners: Intervention, Supervision, Reinforcement

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