Taís Sandes, Davi Vasconcelos, Maria Menezes, and Victória Lima. 2025.
 Evaluating the Ability of ChatGPT and DeepSeek to Solve Propositional Logic Proofs Using the Analytic Tableau Deductive System. In <em>Anais do XXII Encontro Nacional de Inteligência Artificial e Computacional</em>, setembro 29, 2025, Fortaleza/CE, Brasil. SBC, Porto Alegre, Brasil, 1069-1080. DOI: <a href="https://doi.org/10.5753/eniac.2025.14333">https://doi.org/10.5753/eniac.2025.14333</a>.