arXiv AI

Provable Coordination for LLM Agents via Message Sequence Charts

arXiv:2604. 17612v3 Announce Type: replace-cross Abstract: Multi-agent systems built on large language models (LLMs) are difficult to reason about.

arXiv AI
Sep 2

Control-Data Flow Separation: Stable Prompt Optimization in Multi-Agent LLMs

The paper introduces control‑data flow separation to improve prompt optimization in multi‑agent large language model systems. By representing execution protocols as typed, validated program objects and keeping task‑relevant content as unstructured language, the method prevents prompt edits from corrupting critical routing, formatting, or termination signals. Experiments on synthetic reasoning, collaborative review generation, and insurance rating workflows show that this approach maintains 100% protocol validity while consistently enhancing task performance.

By Wentao Zhang, Syed Shariyar Murtaza, Junaid Ahmad Bhatti, Utkarsh Soni, Yifan Nie, Eugene Wen, Yuntian Deng
arXiv AI
Sep 1

EDGE: Engine for Deterministic Graph Evaluation through Conversation Simulation from Graph Structured DSL Configuration

arXiv:2608.29971v1 Announce Type: new Abstract: As agentic systems evolve into complex multi agent orchestration workflows, there is a growing and critical need for systematic frameworks that measure...

By Ram Kulathumani, Regunathan Radhakrishnan, Anupam Tripathi, Xiangbo Mao, Roshanak Omrani, Keshav Somani, Shwet Kamal Mishra, Shayna Lurya
arXiv AI
Sep 25

Epistemic-Probabilistic Model for Guarded Multi-Agent LLM Coordination

The paper introduces Epistemic Probabilistic Language Agents (EPLA), a neuro‑symbolic architecture designed to enable coordination among multi‑agent large language models (LLMs) under uncertainty. EPLA employs a Symbolic Guard that provides structured diagnostic feedback, allowing the LLM to generate typed actions while the Guard controls their execution against an authoritative symbolic state. The authors formalize an epistemic layer using gossip testbeds and epistemic lottery gossip models, combining view‑based call histories with agent‑indexed probability weights to address gaps in social behavior and coordination mechanisms for agentic LLMs.

By Mehdi Nasiri, Mohammad Saeed Arvenaghi, Sadegh Vaezi, Ebrahim Ardeshir-Larijani
arXiv AI
Aug 20

Position: Multi-Agent Systems Should Prioritize Concurrency Control

The paper argues that many failures in large language model–based multi‑agent systems stem from concurrency control issues rather than coordination or communication problems. It highlights how concurrent reads and writes to shared state, coupled with long inference windows, lead to stale data, lost updates, and inconsistent outcomes. The authors propose that MAS frameworks incorporate explicit concurrency controls—such as conflict detection, isolation guarantees, and structured resource access—to make concurrency a primary design concern.

By Xin Yang, Letian Li, Zimo Ji, Terry Jingchen Zhang, Wenyuan Jiang