Automating Formalization by Statistical and Semantic Parsing of Mathematics
Lecture Notes in Computer Science (2017) - Comments
doi: 10.1007/978-3-319-66107-0_2  issn: 0302-9743  issn: 1611-3349 

Cezary Kaliszyk, Josef Urban, Jiří Vyskočil