Machine Learning, Naturallanguageprocessing, Deep Learning, Mathematics.
Learning for Symbolic Mathematics, ICLR 2020. [2] E.Davis. The Use of Deep Learning for Symbolic Integration A Review of (Lample and Charton, 2019) ArXiv e-prints, abs/1912.05752v2.,2019. [3] B. Piotrowski, C. Brown, J. Urban, and C. Kaliszyk. Can Neural Networks Learn Symbolic Rewriting?, AITP