Wang, Q., Kaliszyk, C., Urban, J.
WANG, Q., C. KALISZYK, and J. URBAN. First Experiments with Neural Translation of Informal to Formal Mathematics. In: Intelligent Computer Mathematics. International Conference on Intelligent Computer Mathematics, Hagenberg, 2018-08-13/2019-02-17. Springer Nature, 2018. p. 255-270. LNCS. vol. 11006. ISSN 0302-9743. ISBN 978-3-319-96811-7. DOI 10.1007/978-3-319-96812-4_22.
URL: https://link.springer.com/chapter/10.1007/978-3-319-96812-4_22