研究人员推出MAGS多智能体框架，为AI输出提供安全保障

来源简报

研究人员推出MAGS多智能体框架，为AI输出提供安全保障: 研究人员提出了 MAGS，一个统一的多智能体框架，旨在生成具有形式化安全保证的可执行程序。该框架利用 Dafny 作为验证感知的中间表示，以解决传统手动规范和证明工程的局限性。