"First Experiments with Neural Translation of Informal to Formal Mathematics."

Qingxiang Wang, Cezary Kaliszyk, Josef Urban (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics