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.