MAGS框架为AI生成代码提供形式化安全保证

研究人员提出了一个名为MAGS的多智能体框架，声称能为AI生成的代码提供机器可验证的形式化安全保证。 该框架使用Dafny作为验证感知的中间表示层，据称在220个测试示例（包括CUDA内核、终端脚本和机器人臂任务）上实现了100%的成功率。

AI 根据报道生成 · 57 分钟前更新

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