Search Results for author:
Found 30 papers, 6 papers with code
Extending Wordnet to Geological Times
This paper describes work extending Princeton WordNet to the domain of geological texts, associated with the time periods of the geological eras of the Earth History.
An overview of Portuguese WordNets
Semantic relations between words are key to building systems that aim to understand and manipulate language.
Towards a Brazilian History Knowledge Graph
This short paper describes the first steps in a project to construct a knowledge graph for Brazilian history based on the Brazilian Dictionary of Historical Biographies (DHBB) and Wikipedia/Wikidata.
MathGloss: Building mathematical glossaries from text
MathGloss is a project to create a knowledge graph (KG) for undergraduate mathematics from text, automatically, using modern natural language processing (NLP) tools and resources already available on the web.
Extracting Mathematical Concepts with Large Language Models
Where our study diverges from previous work is in (1) providing a more thorough analysis of what makes mathematical term extraction a difficult problem to begin with; (2) paying close attention to inter-annotator disagreements; (3) providing a set of guidelines which both human and machine annotators could use to standardize the extraction process; (4) introducing a new annotation tool to help humans with ATE, applicable to any mathematical field and even beyond mathematics; (5) using prompts to ChatGPT as part of the extraction process, and proposing best practices for such prompts; and (6) raising the question of whether ChatGPT could be used as an annotator on the same level as human experts.
Parmesan: mathematical concept extraction for education
However, mathematics is used in a wide variety of fields and multidisciplinary research in many different domains often relies on an understanding of mathematical concepts.
Extracting Blockchain Concepts from Text
Blockchains provide a mechanism through which mutually distrustful remote parties can reach consensus on the state of a ledger of information.
Extracting Mathematical Concepts from Text
We investigate different systems for extracting mathematical entities from English texts in the mathematical field of category theory as a first step for constructing a mathematical knowledge graph.
XplaiNLI: Explainable Natural Language Inference through Visual Analytics
Advances in Natural Language Inference (NLI) have helped us understand what state-of-the-art models really learn and what their generalization power is.
Hy-NLI: a Hybrid system for Natural Language Inference
Despite the advances in Natural Language Inference through the training of massive deep models, recent work has revealed the generalization difficulties of such models, which fail to perform on adversarial datasets with challenging linguistic phenomena.
Deriving Theorems in Implicational Linear Logic, Declaratively
Keywords: combinatorial generation of provable formulas of a given size, intuitionistic and linear logic theorem provers, theorems of the implicational fragment of propositional linear intuitionistic logic, Curry-Howard isomorphism, efficient generation of linear lambda terms in normal form, Prolog programs for lambda term generation and theorem proving.
Composing Noun Phrase Vector Representations
First, we propose that the semantic and not the syntactic contribution of each component of a noun phrase should be considered, so that the resulting composed vectors express more of the phrase meaning.
GKR: Bridging the Gap between Symbolic/structural and Distributional Meaning Representations
This work focuses on an example of the third and less studied approach: it extends the Graphical Knowledge Representation (GKR) to include distributional features and proposes a division of semantic labour between the distributional and structural/symbolic features.
Explaining Simple Natural Language Inference
The vast amount of research introducing new corpora and techniques for semi-automatically annotating corpora shows the important role that datasets play in today{'}s research, especially in the machine learning community.
The ILLTP Library for Intuitionistic Linear Logic
In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library.
Logic in Computer Science
Linguistic Legal Concept Extraction in Portuguese
This work investigates legal concepts and their expression in Portuguese, concentrating on the "Order of Attorneys of Brazil" Bar exam.
Dialectica Categories for the Lambek Calculus
We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified.
Logic in Computer Science
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies
The Conference on Computational Natural Language Learning (CoNLL) features a shared task, in which participants train and test their learning systems on the same data sets.
Proceedings of the LexSem+Logics Workshop 2016
Lexical semantics continues to play an important role in driving research directions in NLP, with the recognition and understanding of context becoming increasingly important in delivering successful outcomes in NLP tasks.
Semantic Links for Portuguese
This paper describes work on incorporating Princenton{'}s WordNet morphosemantics links to the fabric of the Portuguese OpenWordNet-PT.
NomLex-PT: A Lexicon of Portuguese Nominalizations
This paper presents NomLex-PT, a lexical resource describing Portuguese nominalizations.
