论文把LLM代码验证拆为验证器接受、规格绑定和语义忠实三个独立层面。
推荐理由：单一通过率会把“证明了错误规格”包装成正确代码；三层审计明确区分验证器接受、约束是否绑定规格及规格是否表达需求，直击当前评测虚高。
阅读原文