Hacker News · AI· donk8r·· 2 小时前AI 评分57
MAGS：AI 代码中指定安全属性的机器可检查保证
MAGS: Machine-checked guarantees on specified safety properties in AI code
AI 导读
MAGS 是一个统一的多智能体框架，用于生成带形式化安全保证的可执行程序，使用 Dafny 作为验证感知的中间表示，对 220 个示例（包括 CUDA 内核、终端脚本和机器人臂任务）实现了 100% 成功率。
来源：Hacker News · AI · arxiv.org