arXiv Artificial Intelligence· Pierre Dantas, Lucas Cordeiro, Ehsan Nowroozi, Norbert Tihanyi·2026-10-20 12:00· 3 小时前AI 评分45

面向安全的 LLM 智能体：规范、验证与执行综述

Toward Safe LLM Agents: A Survey of Specification, Verification, and Enforcement

AI 导读

一项 PRISMA 2020 系统综述梳理了 2022-2026 年间 LLM 智能体规范、验证与执行方向的 38 项研究，指出规范是瓶颈：自然语言转形式化在 PDDL 基准上语义正确率仅 24.8-34.2%。