Luana Stanz Oliveira Magalhães, Taís Rodrigues Sandes, Victor Aguiar Evangelista de Farias, Maria Viviane de Menezes, Carlos de Oliveira Caminha Neto, and Davi Romero de Vasconcelos. 2026.
 Formal Proof Generation in Deductive Logic Systems with Open LLMs: An Empirical Study on Natural Deduction and Analytical Tableau. In <em>Anais do XXIII Encontro Nacional de Inteligência Artificial e Computacional</em>, outubro 19, 2026, Cuiabá/MT, Brasil. SBC, Porto Alegre, Brasil, 1675-1686. DOI: <a href="https://doi.org/10.5753/eniac.2026.31290">https://doi.org/10.5753/eniac.2026.31290</a>.