摘要
本文提出 TraceFix，一种面向大语言模型多智能体协作的“验证优先”流水线。该方法将任务描述合成为协议拓扑及 PlusCal 协调逻辑，并利用 TLA+ 模型检查器的反例迭代修复协议直至验证通过。经验证的过程体被编译为系统提示，并在运行时监控下执行。实验表明，该方法在 48 个任务上均实现完全验证，显著降低了死锁与活锁率，并在模型能力下降时表现出更强的鲁棒性，任务完成率优于基线方法。
AI 推荐理由
论文核心在于生成和修复多智能体协作协议（拓扑与逻辑），属于高级任务规划与协调机制。
研究机构
Rutgers University, Piscataway, NJ, USA
论文信息