241 citations · 841 across the 60 of their papers we have counts for
1 paper · 2 filters
Sean Welleck, Jiacheng Liu, Ronan Le Bras +3
Understanding and creating mathematics using natural mathematical language - the mixture of symbolic and natural language used by humans - is a challenging and important problem fo…