arXiv cs.SE· Wenhan Wang, Shiming Chen, Zeyu Sun, Shenghua Feng·· 2 小时前AI 评分31
LLM 生成的形式化规范是否忠实于需求？双模态形式化规范生成研究
Are LLM-Generated Formal Specifications Faithful to Their Requirements? A Study on Bimodal Formal Specification Generation
AI 导读
一项实证研究构建了 1,403 个 C 程序的基准，用 Frama-C 验证 LLM 生成的 ACSL 规范，考察在自然语言需求与正确性未知的代码同时输入时的表现。
来源：arXiv cs.SE · arxiv.org