David Silva et al. 2025. Ensino de Lógica Matemática a Modelos de IA: Desenvolvimento de um Agente Inteligente Interativo. In Anais da XXV Escola Regional de Computação Bahia, Alagoas e Sergipe, agosto 12, 2025, Lagarto/SE, Brasil. SBC, Porto Alegre, Brasil, 498-507. DOI: https://doi.org/10.5753/erbase.2025.13797.