AINeutralarXiv – CS AI · 7h ago6/10
🧠
TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples
TraceFix is a verification-first framework that uses TLA+ model checking to automatically repair and validate multi-agent LLM coordination protocols, achieving 100% verification success on 48 test tasks with 62.5% passing on first attempt. The approach reduces deadlock/livelock failures from 31.1% to 14.1% and improves task completion rates to 89.4% compared to unverified baselines.