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

Qingxiang Wang, Cezary Kaliszyk, Josef Urban (2018)
maintained by Schloss Dagstuhl LZI, founded at University of Trier