Zobrazeno 1 - 10
of 121
pro vyhledávání: '"de Paiva, Valeria"'
Grothendieck fibrations are fundamental in capturing the concept of dependency, notably in categorical semantics of type theory and programming languages. A relevant instance are Dialectica fibrations which generalise G\"odel's Dialectica proof inter
Externí odkaz:
http://arxiv.org/abs/2407.15765
Mathematics is a highly specialized domain with its own unique set of challenges. Despite this, there has been relatively little research on natural language processing for mathematical texts, and there are few mathematical language resources aimed a
Externí odkaz:
http://arxiv.org/abs/2406.11577
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. We contend that large repositories of Brazilian-na
Externí odkaz:
http://arxiv.org/abs/2403.19856
Autor:
Horowitz, Lucy, de Paiva, Valeria
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. MathGloss is a linked database of undergr
Externí odkaz:
http://arxiv.org/abs/2311.12649
We extract mathematical concepts from mathematical text using generative large language models (LLMs) like ChatGPT, contributing to the field of automatic term extraction (ATE) and mathematical text processing, and also to the study of LLMs themselve
Externí odkaz:
http://arxiv.org/abs/2309.00642
Mathematics is a highly specialized domain with its own unique set of challenges that has seen limited study in natural language processing. However, mathematics is used in a wide variety of fields and multidisciplinary research in many different dom
Externí odkaz:
http://arxiv.org/abs/2307.06699
Blockchains provide a mechanism through which mutually distrustful remote parties can reach consensus on the state of a ledger of information. With the great acceleration with which this space is developed, the demand for those seeking to learn about
Externí odkaz:
http://arxiv.org/abs/2305.10408
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. We consider four different term extractors and comp
Externí odkaz:
http://arxiv.org/abs/2208.13830
This paper presents categorical formulations of Turing, Medvedev, Muchnik, and Weihrauch reducibilities in Computability Theory, utilizing Lawvere doctrines. While the first notions lend themselves to a smooth categorical presentation, essentially du
Externí odkaz:
http://arxiv.org/abs/2208.08656