TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples
TraceFix एक सत्यापन-प्रथम (verification-first) पाइपलाइन है जो डेडलॉक-मुक्त निष्पादन सुनिश्चित करने के लिए TLA+ काउंटरएग्जम्पल्स का उपयोग करके LLM मल्टी-एजेंट समन्वय प्रोटोकॉल को सिंथेसाइज और पुनरावृत्ति से रिपेयर करती है, जिससे बेसलाइन दृष्टिकोणों की तुलना में काफी उच्च कार्य पूर्णता दर और मजबूती प्राप्त होती है।