SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
SPEAR:智能合约审计中的多智能体协调工程案例研究
机构 * Centre for Development of Advanced Computing(先进计算发展中心)
专题命中 多智能体 :agent(title,abstract);multi-agent(title,abstract);planning(abstract);workflow(abstract)
AI总结 SPEAR通过多智能体框架提升智能合约审计效率,采用风险感知启发式优先级分配与自动修复策略,实验证明其在协调性、恢复能力和资源利用方面的优势。
Comments Accepted at 14th International Workshop on Engineering Multi-Agent Systems(EMAS @ AAMAS)