VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

arXiv:2601.20055 · cs.CL, cs.AI · Submitted 2026-01-27 · Read on arXiv

cs.CL, cs.AI

Submitted: 2026-01-27

Updated: 2026-10-11

Terminology

• Verification — 4× in this paper · explained in 2 episodes
• Alignment — 1× in this paper · explained in 1 episode
• Benchmark — 1× in this paper · explained in 2 episodes
• Consistency — 1× in this paper · explained in 3 episodes
• Error Localization — 1× in this paper · explained in 2 episodes
• Hybrid Approach — 1× in this paper · explained in 4 episodes
• Iterative Refinement — 1× in this paper · explained in 3 episodes
• Large Language Models (LLMs) — 1× in this paper · explained in 6 episodes
• SMT solver — 1× in this paper · explained in 2 episodes

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