SPEAR applies multi-agent systems with planning, execution, and repair agents using negotiation protocols to smart contract auditing and compares it empirically to centralized and pipeline approaches.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.MA 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
SPEAR applies multi-agent systems with planning, execution, and repair agents using negotiation protocols to smart contract auditing and compares it empirically to centralized and pipeline approaches.