no code implementations • GWC 2019 • Valeria de Paiva, Alexandre Rademaker

Lexical resources need to be as complete as possible.

no code implementations • GWC 2018 • Henrique Muniz, Fabricio Chalub, Alexandre Rademaker, Valeria de Paiva

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.

no code implementations • GWC 2016 • Valeria de Paiva, Livy Real, Hugo Gonçalo Oliveira, Alexandre Rademaker, Cláudia Freitas, Alberto Simões

Semantic relations between words are key to building systems that aim to understand and manipulate language.

1 code implementation • 17 Jun 2024 • Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian

We then aim to test and evaluate several noteworthy natural language processing models using these corpora, to show how well they can adapt to the domain of mathematics and provide useful tools for exploring mathematical language.

no code implementations • 28 Mar 2024 • Valeria de Paiva, Alexandre Rademaker

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.

1 code implementation • 21 Nov 2023 • Lucy Horowitz, Valeria de Paiva

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.

no code implementations • 29 Aug 2023 • Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss

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.

no code implementations • 13 Jul 2023 • Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian

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.

no code implementations • 7 May 2023 • Rodrigo Veiga, Markus Endler, Valeria de Paiva

Blockchains provide a mechanism through which mutually distrustful remote parties can reach consensus on the state of a ledger of information.

no code implementations • COLING (WNUT) 2022 • Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian

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.

2 code implementations • COLING 2020 • Aikaterini-Lida Kalouli, Richard Crouch, Valeria de Paiva

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.

no code implementations • COLING 2020 • Aikaterini-Lida Kalouli, Rita Sevastjanova, Valeria de Paiva, Richard Crouch, Mennatallah El-Assady

Advances in Natural Language Inference (NLI) have helped us understand what state-of-the-art models really learn and what their generalization power is.

no code implementations • 22 Sep 2020 • Paul Tarau, Valeria de Paiva

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.

1 code implementation • WS 2019 • Aikaterini-Lida Kalouli, Annebeth Buis, Livy Real, Martha Palmer, Valeria de Paiva

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.

1 code implementation • WS 2019 • Aikaterini-Lida Kalouli, Richard Crouch, Valeria de Paiva

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.

no code implementations • WS 2019 • Aikaterini-Lida Kalouli, Valeria de Paiva, Richard Crouch

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.

1 code implementation • 15 Apr 2019 • Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis

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

no code implementations • 22 Oct 2018 • Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva

This work investigates legal concepts and their expression in Portuguese, concentrating on the "Order of Attorneys of Brazil" Bar exam.

no code implementations • 21 Jan 2018 • Valeria de Paiva, Harley Eades III

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

no code implementations • CONLL 2017 • Daniel Zeman, Martin Popel, Milan Straka, Jan Haji{\v{c}}, Joakim Nivre, Filip Ginter, Juhani Luotolahti, Sampo Pyysalo, Slav Petrov, Martin Potthast, Francis Tyers, Elena Badmaeva, Memduh Gokirmak, Anna Nedoluzhko, Silvie Cinkov{\'a}, Jan Haji{\v{c}} jr., Jaroslava Hlav{\'a}{\v{c}}ov{\'a}, V{\'a}clava Kettnerov{\'a}, Zde{\v{n}}ka Ure{\v{s}}ov{\'a}, Jenna Kanerva, Stina Ojala, Anna Missil{\"a}, Christopher D. Manning, Sebastian Schuster, Siva Reddy, Dima Taji, Nizar Habash, Herman Leung, Marie-Catherine de Marneffe, Manuela Sanguinetti, Maria Simi, Hiroshi Kanayama, Valeria de Paiva, Kira Droganova, H{\'e}ctor Mart{\'\i}nez Alonso, {\c{C}}a{\u{g}}r{\i} {\c{C}}{\"o}ltekin, Umut Sulubacak, Hans Uszkoreit, Vivien Macketanz, Aljoscha Burchardt, Kim Harris, Katrin Marheinecke, Georg Rehm, Tolga Kayadelen, Mohammed Attia, Ali Elkahky, Zhuoran Yu, Emily Pitler, Saran Lertpradit, M, Michael l, Jesse Kirchner, Hector Fern Alcalde, ez, Jana Strnadov{\'a}, Esha Banerjee, Ruli Manurung, Antonio Stella, Atsuko Shimada, Sookyoung Kwak, Gustavo Mendon{\c{c}}a, L, Tatiana o, Rattima Nitisaroj, Josie Li

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.

no code implementations • 14 Aug 2016 • Steven Neale, Valeria de Paiva, Arantxa Otegi, Alexandre Rademaker

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.

no code implementations • LREC 2016 • Fabricio Chalub, Livy Real, Alex Rademaker, re, Valeria de Paiva

This paper describes work on incorporating Princenton{'}s WordNet morphosemantics links to the fabric of the Portuguese OpenWordNet-PT.

no code implementations • LREC 2014 • Valeria de Paiva, Livy Real, Alex Rademaker, re, Gerard de Melo

This paper presents NomLex-PT, a lexical resource describing Portuguese nominalizations.

Cannot find the paper you are looking for? You can
Submit a new open access paper.

Contact us on:
hello@paperswithcode.com
.
Papers With Code is a free resource with all data licensed under CC-BY-SA.