MAGALHÃES, Luana Stanz Oliveira; 						SANDES, Taís Rodrigues; 						FARIAS, Victor Aguiar Evangelista de; 						MENEZES, Maria Viviane de; 						CAMINHA NETO, Carlos de Oliveira; 						VASCONCELOS, Davi Romero de.
 Formal Proof Generation in Deductive Logic Systems with Open LLMs: An Empirical Study on Natural Deduction and Analytical Tableau. <em>In</em>: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 23.	, 2026, Cuiabá/MT.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2026
.
 p. 1675-1686. 
			ISSN 2763-9061. 
		DOI: <a href="https://doi.org/10.5753/eniac.2026.31290">https://doi.org/10.5753/eniac.2026.31290</a>.