paper-with-me

홈 › Papers

SymPlex: A Structure-Aware Transformer for Symbolic PDE Solving

2026-02-03 · Yesom Park, Annie C. Lu, Shao-Ching Huang, Qiyang Hu, Y. Sungtaek Ju, Stanley Osher 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.

📄 PDF Abstract BibTeX arXiv:2602.03816

Code (0)

등록된 구현이 없습니다.

Tasks

Reinforcement Learning

Similar Papers 제목 키워드 기반

SYMPLEX: Controllable Symbolic Music Generation using Simplex Diffusion with Vocabulary Priors

2024-05-21 · Nicolas Jonason, Luca Casini, Bob L. T. Sturm

We present a new approach for fast and controllable generation of symbolic music based on the simplex diffusion, which is essentially a diffusion process operating on probabilities rather than the signal space. This obje…

Music Generation

Table Fact Verification with Structure-Aware Transformer

2020-11-01 · EMNLP 2020 11 · Hongzhi Zhang, Yingyao Wang, Sirui Wang, Xuezhi Cao 외

Verifying fact on semi-structured evidence like tables requires the ability to encode structural information and perform symbolic reasoning. Pre-trained language models trained on natural language could not be directly a…

Fact Verification

Pretrained Language Models are Symbolic Mathematics Solvers too!

2021-10-07 · Kimia Noorbakhsh, Modar Sulaiman, Mahdi Sharifi, Kallol Roy 외

Solving symbolic mathematics has always been of in the arena of human ingenuity that needs compositional reasoning and recurrence. However, recent studies have shown that large-scale language models such as transformers …

IngenuityLanguage ModellingMath

A Symbolic Character-Aware Model for Solving Geometry Problems

2023-08-05 · Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang

AI has made significant progress in solving math problems, but geometry problems remain challenging due to their reliance on both text and diagrams. In the text description, symbolic characters such as "$\triangle$ABC" o…

MathMulti-Label ClassificationMUlTI-LABEL-ClASSIFICATIONSelf-Supervised Learning

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs

2024-10-03 · Mert Ünsal, Timon Gehr, Martin Vechev

We present the first correct-by-construction learning-based system for step-by-step mathematical integration. The key idea is to learn a policy, represented by a GPT transformer model, which guides the search for the rig…