AssureCode 提出为智能体编码构建结构化论证

Logan Murphy 等作者提出 AssureCode，一种为 AI 智能体代码生成构建结构化论证依据的方法。它通过一种论证理由语言，把自然语言提示词、形式化规范、开发者意图假设与程序分析证据关联成可验证格式，并支持在智能体生成代码的同时同步构建这类论证。 论文对其实现做了实证分析，考察该方法能否为 AI 生成代码的正确性提供有据保证。目前公开的是方法描述与实证分析，尚未给出可推广的效果结论。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。