Abstract: Traditionally, smart contract auditing has been conducted using analysis tools and manual review processes. However, these tools often struggle to detect complex vulnerabilities and novel ...