Evandro de Barros Costa, Jean Felipe Duarte Tenório, Alison Bruno Martires Soares, Rian Américo Brito da Silva, Wallace Lins Casado de Sousa, Davi Silva de Melo Lins, Dante de Araújo Costa. Large Language Models Performance in Propositional Logic Proofs: Solving and Evaluating Argument Validity. In Sabine Graf, Angelos I. Markos, editors, Generative Systems and Intelligent Tutoring Systems - 21st International Conference, ITS 2025, Alexandroupolis, Greece, June 2-6, 2025, Proceedings, Part I. Volume 15723 of Lecture Notes in Computer Science, pages 292-300, Springer, 2025. [doi]
No references recorded for this publication.
No citations of this publication recorded.