First Experiments with Neural Translation of Informal to Formal Mathematics

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