Consistent Autoformalization for Constructing Mathematical Libraries.

Lan Zhang, Xin Quan, Andr Freitas

Browse the full EMNLP paper archive.