Language models guide symbolic equation discovery by controlling search
This work compares role specifications in which the language model acts as equation author, candidate decider or search controller, alongside end-to-end language-model and purely numerical baselines and suggests that language models should shape hypothesis exploration rather than decide which equations survive.