arXiv cs.AI· Tanqiu Jiang, Min Bai, Sadat Shahriar, Wanyu Du, Sandesh Swamy·2026-10-23 12:00· 2 小时前AI 评分50

PerMIT：以 Lean 4 机器校验完整性定理与可扩展社区信任保护 LLM 智能体持久记忆

PerMIT: Securing Persistent Memory for LLM Agents via Machine-Checked Integrity Theorems and Scalable Community Trust

AI 导读

arXiv 论文提出 PerMIT，一种为 LLM 智能体持久记忆提供可证明完整性保证的架构，仅信任用户输入和闸门确认的值，并在 Lean 4 中机器校验了两个完整性定理。