SpecAgent：智能体框架合成 ACSL 规约
热点事件持续更新
SpecAgent：智能体框架合成 ACSL 规约
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
Lezhi Ma 等作者提出并发布 SpecAgent，这是一个为真实 C 程序合成 ACSL 形式化规约的智能体框架，由依赖感知规划、RAG、智能体修复与智能体评审四个组件构成。 在 14 个真实仓库的 50 个程序上，SpecAgent 配合 DeepSeek-V4 达到 96.82% 精确率和 88.95% 召回率，作者称其优于所有基线；在 811 个真实验证目标上成功完成 604 个。这些数字来自作者报告，尚待独立验证。
AI 根据报道生成 · 1 小时前更新
最新进展10月27日 12:00
SpecAgent：用智能体合成形式化程序规约，助力程序验证报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- arXiv cs.SESpecAgent：用智能体合成形式化程序规约，助力程序验证
SpecAgent 是一个为真实 C 程序合成高质量 ACSL 规约的智能体框架，集成依赖感知规划、RAG、智能体修复与智能体评审四个组件。在 14 个真实仓库的 50 个程序上，SpecAgent 配合 DeepSeek-V4 达到 96.82% 精确率和 88.95% 召回率，优于所有基线。在 811 个真实验证目标上成功完成 604 个。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。