3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.HC2026
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…
cs.CL2025
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…
cs.CL2023★ 3 cited
Extracting Mathematical Concepts with Large Language Models
Valeria de Paiva, Qiyue Gao, Pavel Kovalev +1
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…