2 papers
cs.HC2025
KnowTeX: Visualizing Mathematical Dependencies
Elif Uskuplu, Lawrence S. Moss, Valeria de Paiva
Mathematical knowledge exists in many forms, ranging from informal textbooks and lecture notes to large formal proof libraries, yet moving between these representations remains dif…
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…