A Neuro-Symbolic Method for Solving Differential and Functional Equations

by   Maysum Panju, et al.

When neural networks are used to solve differential equations, they usually produce solutions in the form of black-box functions that are not directly mathematically interpretable. We introduce a method for generating symbolic expressions to solve differential equations while leveraging deep learning training methods. Unlike existing methods, our system does not require learning a language model over symbolic mathematics, making it scalable, compact, and easily adaptable for a variety of tasks and configurations. As part of the method, we propose a novel neural architecture for learning mathematical expressions to optimize a customizable objective. The system is designed to always return a valid symbolic formula, generating a useful approximation when an exact analytic solution to a differential equation is not or cannot be found. We demonstrate through examples how our method can be applied on a number of differential equations, often obtaining symbolic approximations that are useful or insightful. Furthermore, we show how the system can be effortlessly generalized to find symbolic solutions to other mathematical tasks, including integration and functional equations.


page 1

page 2

page 3

page 4


Symbolically Solving Partial Differential Equations using Deep Learning

We describe a neural-based method for generating exact or approximate so...

The Use of Deep Learning for Symbolic Integration: A Review of (Lample and Charton, 2019)

Lample and Charton (2019) describe a system that uses deep learning tech...

Mathematical Operations and Equation Solving with Reconfigurable Metadevices

Performing analog computations with metastructures is an emerging wave-b...

Combining Symbolic and Function Evaluation Expressions In Neural Programs

Neural programming involves training neural networks to learn programs f...

Method for representing an exponent in a fifth-dimensional hypercomplex number systems using a hypercomplex computing software

The structure of method for constructing a representation of an exponent...

A Flawed Dataset for Symbolic Equation Verification

Arabshahi, Singh, and Anandkumar (2018) propose a method for creating a ...

Adversarial Sampling for Solving Differential Equations with Neural Networks

Neural network-based methods for solving differential equations have bee...