https://arxiv.org/pdf/1912.01412.pdf
According to the example in page 9 and page 11, the authors DL based
software can solve quite a few math problems that Mathematica and SymPy
failed.
[From my understanding, the Math Problems---->Solutions can be viewed as a
language translation task and use DL to give a try.]
