Sandes, Taís, 		Vasconcelos, Davi, 		Menezes, Maria, E 		Lima, Victória.
" Evaluating the Ability of ChatGPT and DeepSeek to Solve Propositional Logic Proofs Using the Analytic Tableau Deductive System" <em>Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)</em> [Online], (29 setembro 2025)