L. Carrera, R. Cordeiro, and A. Abelém.
" 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>, Natal/RN, 2025, pp. 140-153, doi: <a href="https://doi.org/10.5753/wblockchain.2025.9134">https://doi.org/10.5753/wblockchain.2025.9134</a>.