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
This paper introduces IdeaSearchFitter, a framework that employs Large Language Models (LLMs) as semantic operators within an evolutionary search that achieves competitive, noise-robust performance on the Feynman Symbolic Regression Database (FSReD), outperforming several strong baselines.
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.
It is argued that this paper is intended both for ML experts who design new PDE discovery algorithms and for users of these methods aiming, in real applications, to discover and validate well-founded scientific laws.