一分钟读论文：《通过合作-义务耦合审计涌现的LLM-Agent协作》
内容提要
华盛顿大学团队提出iCORE框架，通过统一编码合作图、义务图和审计映射，解决多智能体协作的可审计性缺口。该框架认证工作健全性和分配稳定性，在真实LLM执行中实现轨迹质量提升26.4%，显著优于被动观测，增强责任追溯与工作验证能力。
延伸解读
可审计性缺口：为什么记录日志不够
文章指出，现有方法虽能记录消息、工具调用和依赖关系，但缺乏联合表示剩余工作、责任归属和状态转换证据的能力。这意味着即使系统输出合理，也可能掩盖不完整的工作或责任分配不当。iCORE通过统一建模合作图、义务图和审计映射，为每个工作状态转换提供可验证证据，从而弥补这一缺口。
主动审计优于被动观测
实验显示，iCORE-Audit在真实LLM执行中轨迹质量提升26.4%，显著优于被动全状态观测。这表明主动审计机制能实时识别和纠正协作问题，而非事后记录。对于安全敏感的多智能体应用，这种主动能力有助于及时干预，防止错误累积，提升整体可靠性。
双重认证属性：健全性与稳定性
iCORE认证两个互补属性：工作健全性确保每个决策相关的工作断言都有有限证明；Agent分配稳定性则保证没有替代Agent能显著改进评估的义务贡献。这两个属性从局部到全局提供了健全性和分配遗憾保证，有助于验证协作的合理性和责任分配的公平性。
Q&A
iCORE框架主要解决什么问题？
iCORE框架主要解决多智能体协作中的可审计性缺口，即现有方法无法联合表示剩余工作、责任归属和每个工作状态转换证据的问题。
iCORE框架的核心创新是什么？
iCORE的核心创新在于将合作与义务统一建模，通过三重表示X=(G,Q,Π)将合作图、义务图和审计映射结合起来，以提供可验证的属性和证据。
iCORE框架由哪些核心组件构成？
iCORE由三个核心组件构成：合作图G编码Agent之间的可观察交互模式；义务图Q追踪演变的工作分配和责任归属；审计映射Π将G和Q链接起来，提供可验证的属性证明。
iCORE能够认证哪些属性？
iCORE能够认证两个互补属性：工作健全性，确保每个活跃决策相关的工作断言都有通过G和Π的有限证明；Agent分配稳定性，确保没有可行的替代Agent能为评估的义务声明超过ε的贡献值改进。
iCORE-Audit在实验中的性能提升如何？
在控制执行中，轨迹质量提升11.5%，终端性能提升15.1%；在真实LLM执行中，轨迹质量提升达到26.4%，终端性能也有显著改进。
iCORE的主动审计机制相比被动观测有什么优势？
iCORE的主动审计机制相比被动全状态观测具有显著优势，能够有效识别和纠正协作中的问题，而不仅仅是事后记录，这对于安全敏感的多智能体应用尤为重要。
