Large Language Models Performance in Propositional Logic Proofs: Solving and Evaluating Argument Validity.

Evandro de Barros Costa, Jean Felipe Duarte Tenrio, Alison Bruno Martires Soares, Rian Amrico Brito da Silva, Wallace Lins Casado de Sousa, Davi Silva de Melo Lins, Dante de Arajo Costa

Browse the full ITS paper archive.