LeanGuard：为工具调用智能体提供 Lean 验证的运行时护栏
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
LeanGuard 是一个在工具调用到达环境前用 Lean4 策略逐条校验的运行时护栏，评估采用 fail-closed 方式，其判定过程被证明与 LeanLTL 语义等价。
来源：Hugging Face Daily Papers · arxiv.org