LLM智能体规范验证与执行综述

2026年10月20日，arXiv Artificial Intelligence 刊出 Pierre Dantas 等作者的论文《面向安全的 LLM 智能体：规范、验证与执行综述》。该文为 PRISMA 2020 系统综述，检索六个数据库（2026年5月20日至29日），覆盖 2022—2026 年间 LLM 智能体规范、验证与执行方向的 38 项研究。综述指出规范环节是瓶颈：自然语言转形式化在 PDDL 基准上的语义正确率仅 24.8%—34.2%。目前该事件仅此一篇主报道，尚无跟进报道，后续进展有待观察。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。