Deep Learning for Symbolic Mathematics

Facebook released a blog post [0] about this as well!

[0]: https://ai.facebook.com/blog/using-neural-networks-to-solve-...