MAGS：多智能体自动形式化保障 Agent 输出安全

英文标题：MAGS: Multi-agent Auto-formalization Guarantees Safety for Agentic Outputs

论文提出 MAGS（Multi-agent Auto-formalization Guarantees Safety），旨在提升 LLM 编程 Agent 生成复杂程序时的安全保障能力。随着 Agent 生成代码的规模和复杂度不断提高，依赖人工进行全面审查变得愈发困难，安全与安全性故障风险也随之上升。论文指出，模糊测试、静态分析以及 LLM-as-a-Verifier 等常见方法仍存在局限，MAGS 试图通过多智能体自动形式化方法应对这一问题。该研究对构建更可靠、可验证的代码生成 Agent 及其安全工作流具有参考意义。

2.1 KB 640 B 612 B 380 B 9.1 KB 32.7 KB 22.8 KB 24.2 KB 34.7 KB