3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…