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.

References in corpus (2)

• Sequence to Sequence Learning with Neural Networks
• Learning to Discover Efficient Mathematical Identities

Cited by in corpus (5)

• The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence
• Generative Language Modeling for Automated Theorem Proving
• Graph Laplacians, Riemannian Manifolds and their Machine-Learning
• Computational model discovery with reinforcement learning
• A neural network model of perception and reasoning