LISA Technical Report: An Agentic Framework for Smart Contract Auditing. - Izaiah Sun; Daniel Tan; Andy Deng (CoRR, 2025)