Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving

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

We study methods for automated parsing of informal mathematical expressions into formal ones, a main prerequisite for deep computer understanding of informal mathematical texts. We…