SymPlex: A Structure-Aware Transformer for Symbolic PDE Solving
Not on the map. Why?
Abstract (arXiv)
We propose SymPlex, a reinforcement learning framework for discovering analytical symbolic solutions to partial differential equations (PDEs) without access to ground-truth expressions. SymPlex formulates symbolic PDE solving as tree-structured decision-making and optimizes candidate solutions using only the PDE and its boundary conditions. At its core is SymFormer, a structure-aware Transformer that models hierarchical symbolic dependencies via tree-relative self-attention and enforces syntactic validity through grammar-constrained autoregressive decoding, overcoming the limited expressivity of sequence-based generators. Unlike numerical and neural approaches that approximate solutions in discretized or implicit function spaces, SymPlex operates directly in symbolic expression space, enabling interpretable and human-readable solutions that naturally represent non-smooth behavior and explicit parametric dependence. Empirical results demonstrate exact recovery of non-smooth and parametric PDE solutions using deep learning-based symbolic methods.
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 15 of its 37 references that are in the map. First posted on arXiv 3 Feb 2026.
Builds on
15 of 37 references.
References · 15
- 2019Analysing Mathematical Reasoning Abilities of Neural Modelscited by 331
- 2019Deep symbolic regression: Recovering mathematical expressions from data via risk-seeking policy gradientscited by 294
- 2017A Survey of Machine Learning for Big Code and Naturalnesscited by 220
- 2022End-to-end symbolic regression with transformerscited by 195
- 2021Neural Symbolic Regression that Scalescited by 185
- 2018Learning Equations for Extrapolation and Controlcited by 151
- 2019Tree Transformer: Integrating Tree Structures into Self-Attentioncited by 68
- 2022Deep Learning and Symbolic Regression for Discovering Parametric Equationscited by 22
- 2022Finite Expression Method for Solving High-Dimensional Partial Differential Equationscited by 21
- 2021R2D2: Recursive Transformer based on Differentiable Tree for Interpretable Hierarchical Language Modelingcited by 19
- 2023A Neural-Guided Dynamic Symbolic Network for Exploring Mathematical Expressions from Datacited by 14
- 2023Symbolic Regression via Control Variable Genetic Programmingcited by 8
3 more
Built on by
Citing papers per year: 2026: 1.
1 paper.