Alison Bruno Martires Soares

According to our database, Alison Bruno Martires Soares authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

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

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

Proceedings of the Generative Systems and Intelligent Tutoring Systems, 2025