Preliminary observations on a system for symbolic integration

A recent paper, "Deep Learning for Symbolic Mathematics" by Guillaume Lample and François Charton, describes an presented at NeurRIPS-2019, and available on arXiv