arXiv Artificial Intelligence· Martin Amster, One An, Holly Baker, Fernanda Graciolli, Simon Henniger, Nada Amin·2026-10-15 12:00· 18 小时前AI 评分29

claimcheck：衡量并提升规格说明的忠实度

claimcheck: Measuring and Improving Specification Faithfulness

AI 导读

研究者构建了覆盖 Dafny contracts、Lean 4、Isabelle 和 Rocq 四种形式语言的规格形式化端到端基准，共 3,234 行，每行将自然语言需求与形式化产物配对，其中三分之一为保持语义的改写。