Voltar aos Detalhes do Artigo
Formal Proof Generation in Deductive Logic Systems with Open LLMs: An Empirical Study on Natural Deduction and Analytical Tableau
Baixar
##common.downloadPdf##