VulnDetective: Using LLM Agents to Analyze Common Weaknesses and Identify Smart Contract Vulnerabilities. - Thanmai Mandala; Cora Zeger; Tessa Andersen; Gaby G. Dagher; Jun Zhuang 004 (TPS-ISA, 2025)