1 citations · 1 across the 5 of their papers we have counts for
5 papers
KnowTeX: Visualizing Mathematical Dependencies
Elif Uskuplu, Lawrence S. Moss, Valeria de Paiva
Dependency graphs that show how definitions, theorems, and proofs relate to each other are valuable for understanding the structure of mathematical texts. Existing tools such as Le…
Math Natural Language Inference: this should be easy!
Valeria de Paiva, Qiyue Gao, Hai Hu +4
We ask whether contemporary LLMs are able to perform natural language inference (NLI) tasks on mathematical texts. We call this the Math NLI problem. We construct a corpus of Math…
Mathematical Entities: Corpora and Benchmarks
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian
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 mathema…
Towards a Brazilian History Knowledge Graph
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…
MathGloss: Building mathematical glossaries from text
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 a…