Qingxiang Wang, Cezary Kaliszyk, Josef Urban. First Experiments with Neural Translation of Informal to Formal Mathematics. In Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef, editors, Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings. Volume 11006 of Lecture Notes in Computer Science, pages 255-270, Springer, 2018. [doi]
Abstract is missing.