迈向安全的大语言模型智能体：规格、验证与执行综述

系统综述揭示 LLM 智能体在形式化安全性保障上存在缺口，尚无系统能提供任务级安全保证。 自然语言到形式化翻译语义正确率仅 24.8%-34.2%，运行时监控减少 65.37% 不安全操作但无法提供完整保证。 研究提出三级分类法及十大问题议程，指出当前无法同时实现可靠性、可扩展性与效用保持。