arXiv ID:
2605.20923
arXiv 提交日期: 2026-05-20
用于分布式LLM智能体工作流运行时验证的因果过去时态逻辑 / Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
1️⃣ 一句话总结
本文提出了一种名为因果过去时态逻辑(CPL)的轻量级逻辑,使分布式大语言模型智能体在工作流中能基于事件间的因果关系进行实时控制流判断,将运行时验证融入协调语言本身,而非事后检查日志。