研究：LLM生成形式化规约是否忠实于需求
热点事件持续更新
研究：LLM生成形式化规约是否忠实于需求
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Wenhan Wang等作者发布了一项实证研究，考察在同时输入自然语言需求和正确性未知的代码实现时，LLM生成的形式化规约是否忠实于需求。研究构建了1,403个C程序的基准，并用Frama-C验证LLM生成的ACSL规范。 该研究将这种输入方式称为“双模态”设定，即模型同时拿到需求文本和对应代码，而代码本身是否正确并不已知。
AI 根据报道生成 · 2 小时前更新
最新进展10月26日 12:00
LLM 生成的形式化规范是否忠实于需求？双模态形式化规范生成研究报道时间线
沿着报道，了解事件的不同侧面。
10月26日
- arXiv cs.SELLM 生成的形式化规范是否忠实于需求？双模态形式化规范生成研究
一项实证研究构建了 1,403 个 C 程序的基准，用 Frama-C 验证 LLM 生成的 ACSL 规范，考察在自然语言需求与正确性未知的代码同时输入时的表现。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。