热点事件持续更新
AutoFraming利用LLM合成C代码动态Frame规范
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月22日，研究人员提出了名为AutoFraming的方法。该方法通过代码属性图引导大语言模型（LLM），用于从C代码中合成ACSL frame规范与功能契约。实验结果表明，在84个真实系统函数的测试中，AutoFraming合成无错误frame规范的成功率达到92.9%，相比现有SOTA方法相对提升179%，并在51个函数的测试集上达到96.1%的成功率。此外，将其集成至现有的ACSL合成框架后，整体性能最高可提升61.9%。
AI 根据报道生成 · 1 小时前更新
最新进展10月22日 12:00
AutoFraming提出利用代码属性图引导LLM合成C代码Frame规范，无错误成功率达92.9%。报道时间线
沿着报道，了解事件的不同侧面。
10月22日
- arXiv 人工智能AutoFraming：基于 LLM 的 C 语言动态 Frame 规范合成方法
AutoFraming 是一种利用代码属性图引导 LLM 从 C 代码合成 ACSL frame 规范与功能契约的方法。在 84 个真实系统函数的测试中，该方法无错误 frame 规范成功率达 92.9%，比 SOTA 相对提升 179%，并在 51 函数测试集上达 96.1%。集成至现有 ACSL 合成框架后，其性能最高可提升 61.9%。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。