Lívia Carrera, Ramón Cordeiro, and Antônio Abelém. 2025.
 AuditAI: Automating and Facilitating the Audit of Smart Contracts with Contextual Reports Generated by AI. In <em>Proceedings of the 8th Blockchain Workshop: Theory, Technology and Applications</em>, May 19, 2025, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 140-153. DOI: <a href="https://doi.org/10.5753/wblockchain.2025.9134">https://doi.org/10.5753/wblockchain.2025.9134</a>.