TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples
arXiv:2605.07935v1 Announce Type: new
Abstract: We present TraceFix, a verification-first pipeline for Large Language Model (LLM) multi-agent coordination. An agent synthesizes a protocol topology as a structured intermediate representation (IR) from …