arXiv cs.AI· Tanqiu Jiang, Min Bai, Sadat Shahriar, Wanyu Du, Sandesh Swamy·· 11 天前AI 评分46
PerMIT：通过机器验证定理与社区信任保障 LLM Agent 持久记忆安全
PerMIT: Securing Persistent Memory for LLM Agents via Machine-Checked Integrity Theorems and Scalable Community Trust
AI 导读
研究团队提出 LLM Agent 内存架构 PerMIT，通过在 Lean 4 中经过机器验证的完整性定理，确保未受信环境数据仅在门控确认后才能触发敏感动作。在 Trojan Hippo 测试中，PerMIT 结合轻量验证器实现了 0 攻击成功率。
来源：arXiv cs.AI · arxiv.org