**多智能体大语言模型系统并发异常的验证检测与预防**

_Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems_

> 该论文针对多智能体大语言模型系统中的并发共享状态，形式化了四种并发异常，并基于 TLA+ 与 Verus 构建了首个机器验证的一致性层级，实现检测器与预防运行时，在鹿流和 LangGraph 中复现并修复了静默丢失更新等缺陷。

**来源信息**
- **来源**：HuggingFace Daily Papers（社区热门论文）
- **分类**：论文
- **发布时间**：2026-06-17 08:00（北京时间）
- **原文**：[打开原文](https://huggingface.co/papers/2606.17182)