LeanGuard：基于Lean4验证的Agent工具调用护栏

2026年11月2日，Hugging Face Daily Papers 报道了 LeanGuard：一种面向工具调用智能体的运行时护栏，在工具调用到达环境之前，用 Lean4 策略逐条校验。该报道称，其评估采用 fail-closed 方式，即校验不通过时默认拒绝放行；其判定过程被证明与 LeanLTL 语义等价。目前公开信息仅来自这一篇报道，尚未披露具体实验数据、对比基线或部署情况。

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

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