The Use of Deep Learning for Symbolic Integration: A Review of (Lample and Charton, 2019)
arXiv:1912.05752
Abstract
Lample and Charton (2019) describe a system that uses deep learning technology to compute symbolic, indefinite integrals, and to find symbolic solutions to first- and second-order ordinary differential equations, when the solutions are elementary functions. They found that, over a particular test set, the system could find solutions more successfully than sophisticated packages for symbolic mathematics such as Mathematica run with a long time-out. This is an impressive accomplishment, as far as it goes. However, the system can handle only a quite limited subset of the problems that Mathematica deals with, and the test set has significant built-in biases. Therefore the claim that this outperforms Mathematica on symbolic integration needs to be very much qualified.
Cited by in corpus (6)
- The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence
- Unanswerable Questions about Images and Texts
- Symbolic Equation Solving via Reinforcement Learning
- A Neuro-Symbolic Method for Solving Differential and Functional Equations
- Symbolically Solving Partial Differential Equations using Deep Learning
- Pretrained Language Models are Symbolic Mathematics Solvers too!