Exploration of neural machine translation in autoformalization of mathematics in Mizar.

Qingxiang Wang, Chad E. Brown, Cezary Kaliszyk, Josef Urban

Browse the full CPP paper archive.