Search papers, labs, and topics across Lattice.
This paper introduces a domain-specific language for specifying agent coordination in multi-agent systems utilizing large language models (LLMs), addressing the challenges of reasoning about coordination errors such as deadlocks and message type mismatches. By separating the message-passing structure from the unpredictable outputs of LLM actions, the authors provide a syntax-directed projection that generates deadlock-free local agent programs from global specifications. The framework is illustrated through a diagnosis consensus protocol, demonstrating that coordination properties can be established independently of LLM nondeterminism, with an open-source implementation available as ZipperGen.
Coordination errors in LLM-based multi-agent systems can be systematically avoided with a new language that guarantees deadlock-free interactions.
Multi-agent systems built on large language models (LLMs) are difficult to reason about. Coordination errors such as deadlocks or type-mismatched messages are often hard to detect through testing. We introduce a domain-specific language for specifying agent coordination based on message sequence charts (MSCs). The language separates message-passing structure from LLM actions, whose outputs remain unpredictable. We define the syntax and semantics of the language and present a syntax-directed projection that generates deadlock-free local agent programs from global coordination specifications. We illustrate the approach with a diagnosis consensus protocol and show how coordination properties can be established independently of LLM nondeterminism. We also describe a runtime planning extension in which an LLM dynamically generates a coordination workflow for which the same structural guarantees apply. An open-source Python implementation of our framework is available as ZipperGen.
