arXiv ID:
2604.01483
arXiv 提交日期: 2026-04-01
类型检查合规性:使用Lean 4定理证明为金融智能体系统构建确定性护栏 / Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
1️⃣ 一句话总结
这篇论文提出了一种名为Lean-Agent Protocol的新方法,它利用Lean 4定理证明器,将复杂的金融监管规则转化为可自动验证的数学定理,从而为不可预测的AI金融系统提供像密码学一样可靠的确定性合规保障。