arXiv cs.CL· Duy Nguyen, Lesly Miculicich, Bhavana Dalvi Mishra, Shuo Li, Krishnamurthy Dj Dvijotham, Mohit Bansal, Tomas Pfister, Long T. Le·· 2 小时前AI 评分29
VEPA：面向 LLM 智能体终身防护的可验证演化形式化策略
VEPA: Verified Evolving Formal Policy for Lifelong LLM Agent Guardrails
AI 导读
VEPA 是一个通过可验证演化来构建 LLM 智能体运行时防护栏的框架，将防护策略表示为基于类型化智能体事件的可执行符号规则。部署期间由 LLM 依据反馈提出策略补丁，确定性验证器只接受结构有效且无冲突的策略，证据感知授权层仅在证据充分时激活规则。
来源：arXiv cs.CL · arxiv.org