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