Magalhães, L., 		Sandes, T., 		Farias, V., 		Menezes, M., 		Caminha Neto, C., & 		Vasconcelos, D.
2026 out 19.  Formal Proof Generation in Deductive Logic Systems with Open LLMs: An Empirical Study on Natural Deduction and Analytical Tableau. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :