Hugging Face Daily Papers·· 2 天前精选AI 评分58
LeanGuard：为工具调用智能体提供 Lean 验证的运行时护栏
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
AI 导读
LeanGuard 是一个在工具调用到达环境前用 Lean4 策略校验的运行时，策略结合状态谓词与执行历史上的限定时态算子，评估采用 fail-closed，并证明其判定过程与 LeanLTL 语义等价。
推荐理由
论文给出用 Lean4 策略在工具调用执行前拦截违规的运行时，并附 Tau-Bench 与 DTap 上的量化结果。
来源：Hugging Face Daily Papers · huggingface.co