arxivcs.AIcs.SC2026-07-05
Language models guide symbolic equation discovery by controlling search
Zikai Xie, Wenmei Li, Man Luo, Jun Jiang, Linjiang Chen
Scientific equation discovery must combine broad domain priors with strict numerical testing. Symbolic regression supplies numerical grounding but faces a combinatorial search space, whereas many language-model systems ask the model to propose or select formulas directly. We test…