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