Carrera, Lívia, 		Cordeiro, Ramón, AND 		Abelém, Antônio.
" AuditAI: Automating and Facilitating the Audit of Smart Contracts with Contextual Reports Generated by AI" <em>Blockchain Workshop: Theory, Technology and Applications (WBlockchain)</em> [Online], (19 May 2025)