Carrera, Lívia, Ramón Cordeiro, and Antônio Abelém.
" AuditAI: Automating and Facilitating the Audit of Smart Contracts with Contextual Reports Generated by AI." <em>Proceedings of the 8th Blockchain Workshop: Theory, Technology and Applications,
Natal/RN, 2025</em>. SBC, 2025,  
pp.140-153.