Aug 2026· Proceedings of the 32nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2· pp. 10854-10865· 0 citations· 30 references
Abstract
Discovering governing Partial Differential Equations (PDEs) from observational data is a fundamental challenge in AI for Science. While Symbolic Regression (SR) dominates this task, existing token-level methods trigger a combinatorial explosion of search spaces, frequently yielding mathematically valid yet physically inconsistent candidates. To overcome this, we propose Modular Symbolic Regression with Physics Priors (MSR-PP), a knowledge-guided framework that conceptualizes one-dimensional PDEs as structured compositions of semantic modules (e.g., convection, diffusion) rather than random symbol sequences. MSR-PP employs an RL-optimized LSTM agent to sequentially construct equation skeletons based on syntactic and semantic dependencies, utilizing a modular search strategy to significantly prune the search space. Addressing the critical scarcity of standardized, high-fidelity benchmarks for 1D PDEs, we constructed an extended dataset for rigorous evaluation. Extensive experiments demonstrate that MSR-PP outperforms state-of-the-art baselines. Real-world validation on the NGSIM US101 traffic dataset shows MSR-PP successfully identifies a convection-diffusion model featuring a critical second-order term. Notably, the negative coefficient of this term (-u_xx) aligns with theoretical models, accurately capturing the string instability and wave-amplifying dynamics characteristic of stop-and-go traffic. Moreover, the discovered equation exhibits robust out-of-distribution (OOD) generalization on the unseen NGSIM I-80 dataset, underscoring MSR-PP's capability to uncover physically meaningful laws. Datasets: https://github.com/jinyangdu5/MSR-PP.
EvoPINN is proposed, an agentic framework that reformulates PINN development from labor-intensive manual design into a rigorous, execution-grounded algorithm discovery problem, and autonomously invented SLRC-PINN, a novel architecture whose performance gains persist under rigorous parameter-matched comparisons.
Peng Yin, Kai Li, Yifan Zhang et al.· arXiv.org· 0 citations
Symbolic regression (SR), the automated discovery of mathematical expressions from data, is a cornerstone of scientific inquiry. However, it is often hindered by the combinatorial explosion of the search space and a tendency to overfit. Popular methods, rooted in genetic programming, explore this space syntactically,...
Zhuo-Yang Song, Ze-Yu Cai, Shu-Tao Zhang et al.· Communications in Theoretica...· 0 citations
Meta-SPINN works both as a direct predictor for unseen tasks and as a task-aware initializer for subsequent single-instance residual-guided refinement, providing reusable predictions together with an interpretable visualization of how solution geometry changes across a parameter family.
This paper proposes Kastor, a comprehensive methodology to adapt a deterministic physics foundation model into a highly efficient and accurate generative surrogate, and introduces a two-stage inference scheme that combines a large-stride causal auto-regressive model with a non-causal temporal super-resolution network,...
Guillaume Couairon, Alexis Jacq, Yu-Han Wu et al.· 0 citations
A verifier-guided neural-to-symbolic methodology for interpretable and physically auditable forecasting in the natural sciences is established, establishing a verifier-guided neural-to-symbolic methodology for interpretable and physically auditable forecasting in the natural sciences.
Partial differential equation (PDE) discovery aims to identify from data the governing law of a physical system. Constituting a cornerstone of scientific advancement, it has become during the past decade a major line of research in the rapidly evolving field of Physics-informed Machine Learning (PiML). Among the remain...