arXiv · AI· Sreehari Sankar, Debargha Ganguly, Vikash Singh, Mohsen Hariri, Weicong Chen, Yanyan Zhang, Shouren Wang, Wang Yang, Chaoda Song, Alexander Nemecek, Osama Zafar, Idan Davidovich, Yuting Shao, Kai Ye, Biyao Zhang, Xinpeng Li, Joe Stubbs, Erman Ayday, Jing Ma, Vipin Chaudhary·· 7 小时前AI 评分31
LeanGuard：使用 Lean 验证的工具调用防护运行时
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
AI 导读
LeanGuard 是一个在工具调用前使用 Lean4 策略进行运行时检查的防护系统，其决策过程被证明等价于 LeanLTL 语义，且采用 fail-closed 机制。
来源：arXiv · AI · arxiv.org