Magalhães, Luana Stanz Oliveira, 		Sandes, Taís Rodrigues, 		Farias, Victor Aguiar Evangelista de, 		Menezes, Maria Viviane de, 		Caminha Neto, Carlos de Oliveira, E 		Vasconcelos, Davi Romero de.
" Formal Proof Generation in Deductive Logic Systems with Open LLMs: An Empirical Study on Natural Deduction and Analytical Tableau" <em>Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)</em> [Online], (19 outubro 2026)