RISR: Residual-Informed Scientific Equation Discovery with Large Language Models
Haobo Li, Wenshuo Zhang, Wenxiao Zhao, Eunseo Jung, Rui Sheng, Yushi Sun, Peiqin Zhuang, Hao Chen, Fenghua Ling
Abstract
Symbolic regression combines structural search with numerical fitting, but aggregate fit scores do not describe how the remaining error varies across inputs. We introduce RISR, a residual-informed method that uses these error patterns to guide formula discovery and learn which corrections are worth fitting. A residual encoder compresses aligned inputs, targets, current predictions, and residuals into continuous tokens that condition a language model to propose formulas. For subsequent refinement, a dual-view relational encoder uses additive and regularized multiplicative residuals to predict the post-fit utility of candidate corrections. We evaluate RISR on scientific tasks from the LLM-SRBench. RISR achieves 63.57% and 38.50% ID accuracy at the 1% and 0.1% pointwise relative-error tolerances, respectively. The corresponding OOD accuracies are 56.07% and 38.24%. RISR outperforms the reported baselines using the same backbone. The results show that our residual-informed approach can improve numerical equation recovery.
Create a lesson
Related papers
Exact rational certificates and a Lean formalization of the eleven-variable Vasc inequality
Dakai Guo, Ruichen Qiu, Yichuan Cao et al.
A Finite Certificate for the Positive n=11 Vasc Inequality
Tiancheng Xu, Wensheng Yu
Parallel Integration over Simple Radical Extensions III: Antiderivatives in Terms of Special Functions
Sam Blake
Root isolation for analytic functions using cubic hermite interpolation
Christophe Raffalli
CPUNeSy: Controlling Model Writes for Reliable Neuro-Symbolic Reasoning
Zeyan Li, Siyuan Qiu, Shuai Zhao et al.
A Practical Approach To Verifying Structural Invariants In Colored Petri Nets
Lorenzo Capra