Detecting Inconsistencies in Model Specifications with LLM-as-Verifier Reasoning

arXiv:2610.01847 · cs.SE, cs.AI, cs.CL · Submitted 2026-10-01 · Read on arXiv

cs.SE, cs.AI, cs.CL

Submitted: 2026-10-01

Updated: 2026-10-01

Code: https://github.com/HIPREL-Group/VeriSpec

Terminology

• Verifier — 40× in this paper · explained in 2 episodes
• Alignment — 14× in this paper · explained in 1 episode
• Clustering — 8× in this paper · explained in 2 episodes
• Verification — 7× in this paper · explained in 2 episodes
• Calibration — 3× in this paper · explained in 7 episodes
• Fidelity — 2× in this paper · explained in 2 episodes
• Sycophancy — 2× in this paper · explained in 4 episodes
• AI Alignment — 1× in this paper · explained in 2 episodes
• Accountability — 1× in this paper · explained in 2 episodes
• Commentary — 1× in this paper · explained in 2 episodes
• Core — 1× in this paper · explained in 2 episodes
• Graph Construction — 1× in this paper · explained in 3 episodes
• Large Language Models (LLMs) — 1× in this paper · explained in 6 episodes

Sources

• Constitutional AI: Harmlessness from AI Feedback
• Deliberative Alignment: Reasoning Enables Safer Language Models
• The Instruction Hierarchy: Training LLMs to Prioritize Privileged Instructions
• SpecAlign: Efficient Specification-Grounded Alignment of Large Language Models via Synthetic Data

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties