多智能体自动生成规格与证明，为智能体产出的程序提供机器可检验安全保证。
推荐理由：模糊测试和大模型验证器无法覆盖所有边界，形式化验证又受制于人工规格成本；MAGS尝试自动化规格与证明工程，把代码安全从概率检测推进到属性级保证。
阅读原文