TY  - RPRT
TI  - Detecting Inconsistencies in Model Specifications with LLM-as-Verifier Reasoning
AU  - Zichen Xie
AU  - Mrigank Pawagi
AU  - Lize Shao
AU  - Yang Hu
AU  - Wenxi Wang
PY  - 2026
UR  - https://arxiv.org/abs/2610.01847
ID  - 2610.01847
ER  -