2 citations · 3 across the 9 of their papers we have counts for
1 paper · 1 filter
Lan Zhang, Xin Quan, Andre Freitas
Autoformalization is the task of automatically translating mathematical content written in natural language to a formal language expression. The growing language interpretation cap…