[1912.01412] Deep Learning for Symbolic Mathematics
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.
View PDF HTML (experimental) 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…
saved by
related reading
- [2604.21691] There Will Be a Scientific Theory of Deep Learningarxiv.org
- [2604.21691] There Will Be a Scientific Theory of Deep Learningarxiv.org
- NL.pdfabehrouz.github.io
- Neural Networks, Types, and Functional Programming -- colah's blogcolah.github.io
- There Will Be a Scientific Theory of Deep Learningarxiv.org
- Neural networks and deep learningneuralnetworksanddeeplearning.com
- [2604.07242] Weaves, Wires, and Morphisms: Formalizing and Implementing the Algebra of Deep Learningarxiv.org
- Interpreting Language Model Parametersgoodfire.ai
- [1707.01415] Machine Learning, Deepest Learning: Statistical Data Assimilation Problemsarxiv.org
- 2404.17625arxiv.org
- arxiv.org/pdf/1805.08522arxiv.org
- Deep Learning is Not So Mysterious or Differentarxiv.org