SANDES, Taís Rodrigues; 						VASCONCELOS, Davi Romero de; 						MENEZES, Maria Viviane de; 						LIMA, Victória de Oliveira.
 Evaluating the Ability of ChatGPT and DeepSeek to Solve Propositional Logic Proofs Using the Analytic Tableau Deductive System. <em>In</em>: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 22.	, 2025, Fortaleza/CE.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 1069-1080. 
			ISSN 2763-9061. 
		DOI: <a href="https://doi.org/10.5753/eniac.2025.14333">https://doi.org/10.5753/eniac.2025.14333</a>.