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

arXiv:2610.01847v1 Announce Type: cross Abstract: Model specifications define how large language models (LLMs) should behave, guiding alignment training, inference-time behavior, and evaluation. Yet these specifications may themselves contain defects: two indi