1.1k citations · 3.7k across the 135 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…