Automating Formalization by Statistical and Semantic Parsing of Mathematics.

Cezary Kaliszyk, Josef Urban, Jir Vyskocil

Browse the full ITP paper archive.