作者位次 #7/9KDD 2026Oral· Knowledge Discovery & Data Mining
StarVerus: LLM-Powered Multi-Agent Collaboration for Industrial Rust Code Verification Automation
Chao Jiang · Ding Wang · Dugang Liu · Zhiwu Xu · Cheng Wen · Zhong Ming · Yuwei Liu · Xinyi Wan · Lin Huang