14 citations · 32 across the 12 of their papers we have counts for
13 papers
Large Language Models as Medical Codes Selectors: a benchmark using the International Classification of Primary Care
Vinicius Anjos de Almeida, Vinicius de Camargo, Raquel Gómez-Bravo +4
Background: Medical coding structures healthcare data for research, quality monitoring, and policy. This study assesses the potential of large language models (LLMs) to assign ICPC…
Regional, Lattice and Logical Representations of Neural Networks
Sandro Preto, Marcelo Finger
A possible path to the interpretability of neural networks is to (approximately) represent them in the regional format of piecewise linear functions, where regions of inputs are as…
PeLLE: Encoder-based language models for Brazilian Portuguese based on open data
Guilherme Lamartine de Mello, Marcelo Finger, and Felipe Serras +4
In this paper we present PeLLE, a family of large language models based on the RoBERTa architecture, for Brazilian Portuguese, trained on curated, open data from the Carolina corpu…
Carolina: a General Corpus of Contemporary Brazilian Portuguese with Provenance, Typology and Versioning Information
Maria Clara Ramos Morales Crespo, Maria Lina de Souza Jeannine Rocha, Mariana Lourenço Sturzeneker +11
This paper presents the first publicly available version of the Carolina Corpus and discusses its future directions. Carolina is a large open corpus of Brazilian Portuguese texts u…
verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT
Felipe R. Serras, Marcelo Finger
In this work, we carried out a study about the use of attention-based algorithms to automate the categorization of Brazilian case law documents. We used data from the Kollemata Pro…
Coherence of probabilistic constraints on Nash equilibria
Sandro Preto, Eduardo Fermé, Marcelo Finger
Observable games are game situations that reach one of possibly many Nash equilibria. Before an instance of the game starts, an external observer does not know, a priori, what is t…
Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms
Marcelo Finger
One of the main reasons to employ a description logic such as EL or EL++ is the fact that it has efficient, polynomial-time algorithmic properties such as deciding consistency and…
Quantitative Logic Reasoning
Marcelo Finger
In this paper we show several similarities among logic systems that deal simultaneously with deductive and quantitative inference. We claim it is appropriate to call the tasks thos…
A logical-based corpus for cross-lingual evaluation
Felipe Salvatore, Marcelo Finger, Roberto Hirata
At present, different deep learning models are presenting high accuracy on popular inference datasets such as SNLI, MNLI, and SciTail. However, there are different indicators that…
Semantic Parsing: Syntactic assurance to target sentence using LSTM Encoder CFG-Decoder
Fabiano Ferreira Luz, Marcelo Finger
Semantic parsing can be defined as the process of mapping natural language sentences into a machine interpretable, formal representation of its meaning. Semantic parsing using LSTM…
Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention
Fabiano Ferreira Luz, Marcelo Finger
Semantic parsing is the process of mapping a natural language sentence into a formal representation of its meaning. In this work we use the neural network approach to transform nat…
Classical and quantum satisfiability
Anderson de Araújo, Marcelo Finger
We present the linear algebraic definition of QSAT and propose a direct logical characterization of such a definition. We then prove that this logical version of QSAT is not an ext…
Towards an efficient prover for the C1 paraconsistent logic
Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger
The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In th…