Language models guide symbolic equation discovery by controlling search

Zikai Xie, Wenmei Li, Man Luo +2

Scientific equation discovery must combine broad domain priors with strict numerical testing. Symbolic regression supplies numerical grounding but faces a combinatorial search spac…