arXiv 人工智能· Tanqiu Jiang, Min Bai, Sadat Shahriar, Wanyu Du, Sandesh Swamy·· 3 小时前AI 评分48
PerMIT：通过机器验证的完整性定理与可扩展社区信任保障 LLM Agent 持久化记忆安全
PerMIT: Securing Persistent Memory for LLM Agents via Machine-Checked Integrity Theorems and Scalable Community Trust
AI 导读
研究者提出 Agent 持久化记忆架构 PerMIT，通过有限记忆接口调控非可信环境派生值的释放与使用，并在 Lean 4 中完成两个完整性定理的机器形式化验证。
来源：arXiv 人工智能 · arxiv.org