Agora's domain-aware multi-agent LLM framework detects 15 previously unknown safety-violating logic bugs across Raft, EPaxos, HotStuff, and BullShark implementations where prior LLM agents found none.
org/CorpusID:279071173
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
Agora's domain-aware multi-agent LLM framework detects 15 previously unknown safety-violating logic bugs across Raft, EPaxos, HotStuff, and BullShark implementations where prior LLM agents found none.