Automating Formalization by Statistical and Semantic Parsing of Mathematics

Kaliszyk, C., Urban, J., Vyskočil, J.

KALISZYK, C., J. URBAN, and J. VYSKOČIL. Automating Formalization by Statistical and Semantic Parsing of Mathematics. In: MUNOZ, C.A. and M. AYALA-RINCON, eds. Interactive Theorem Proving. Interactive Theorem Proving - 8th International Conference, Brasilia, 2017-09-26/2017-09-29. Basel: Springer, 2017. p. 12-27. Lecture Notes in Computer Science. vol. 10499. ISBN 978-3-319-66106-3. DOI 10.1007/978-3-319-66107-0_2.

URL: https://doi.org/10.1007/978-3-319-66107-0_2