L. Magalhães, T. Sandes, V. Farias, M. Menezes, C. Caminha Neto, and D. Vasconcelos.
" 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>, Cuiabá/MT, 2026, pp. 1675-1686, doi: <a href="https://doi.org/10.5753/eniac.2026.31290">https://doi.org/10.5753/eniac.2026.31290</a>.