about
Deep Learning for Symbolic Mathematics (arxiv.org)
5 points by signa11 on Jan 16, 2020 | hide | past | pdf | 1 comment on HN

In plain words: A network that translates math expressions from one form to another is trained on millions of generated practice problems, written in a simple text format, to find exact integrals and solve differential equations. It beat commercial math software like Matlab and Mathematica.

Abstract

Neural networks have a reputation for being better at solving statistical or approximate problems than at performing calculations or working with symbolic data. In this paper, we show that they can be surprisingly good at more elaborated tasks in mathematics, such as symbolic integration and solving differential equations. We propose a syntax for representing mathematical problems, and methods for generating large datasets that can be used to train sequence-to-sequence models. We achieve results that outperform commercial Computer Algebra Systems such as Matlab or Mathematica.

Guillaume Lample, François Charton
arXiv:1912.01412 · cs.SC, cs.LG · submitted Dec 2, 2019
abstract · pdf · html

add comment on HN
Also discussed: Dec 2019 (6 points, 0 comments) · Dec 2019 (5 points, 0 comments) · Dec 2019 (2 points, 1 comment)

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

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