当前位置: X-MOL 学术arXiv.cs.SC › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A Neuro-Symbolic Method for Solving Differential and Functional Equations
arXiv - CS - Symbolic Computation Pub Date : 2020-11-04 , DOI: arxiv-2011.02415
Maysum Panju, Ali Ghodsi

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.

中文翻译:

一种求解微分方程和泛函方程的神经符号方法

当神经网络用于求解微分方程时,它们通常以不能直接用数学解释的黑盒函数的形式产生解。我们介绍了一种在利用深度学习训练方法的同时生成符号表达式来求解微分方程的方法。与现有方法不同,我们的系统不需要通过符号数学学习语言模型,使其具有可扩展性、紧凑性并且易于适应各种任务和配置。作为该方法的一部分,我们提出了一种新颖的神经架构,用于学习数学表达式以优化可定制的目标。该系统旨在始终返回有效的符号公式,从而在未找到或无法找到微分方程的精确解析解时生成有用的近似值。我们通过示例展示了我们的方法如何应用于许多微分方程,通常会获得有用或有见地的符号近似值。此外,我们展示了如何毫不费力地将系统泛化为其他数学任务的符号解,包括积分和函数方程。
更新日期:2020-11-05
down
wechat
bug