Michael Heinrich
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Software Eng.×1AI×1
Frequent co-authors
Research Timeline
2026
Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
The paper introduces Agora, a domain-aware multi-agent framework that successfully detects deep, previously unknown logic bugs in complex consensus protocols, outperforming existing LLM-based analysis methods.
Highlighted terms show continued research focus across papers
Papers
cs.SEcs.AIRecentMay 28, 2026
Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
Xiang Liu, Sa Song, Zhaowei Zhang, Huiying Lan +5 more
The paper introduces Agora, a domain-aware multi-agent framework that successfully detects deep, previously unknown logic bugs in complex consensus protocols, outperforming existing LLM-based analysis…
View →