Davi Silva de Melo Lins
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
1
Venues
1
Active years
2025–2025
Best venue rank
B
Where they publish
Papers
1 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITS | 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 |