Skip to content
Book Open access

Can LLM’s Pick Up Where GP Left off? Investigating LLM Mathematical Expression Simplification Capabilities

Jul 2026 · GECCO Companion · pp. 1371-1382 · 0 citations · 27 references
Computer Science

TL;DR

This work investigates the use of Large Language Models as a post-hoc simplification layer for GP-derived mathematical expressions, examining two prompting strategies; Few-Shot Prompting and In-Context Learning across two contemporary LLMs: GPT-5.4-mini and Nemotron-3-Super.

Abstract

Symbolic regression seeks to discover interpretable mathematical expressions that describe the relationship between variables in a dataset. Genetic Programming remains the dominant approach for SR, however it is well established that GP is prone to producing complex expressions due to bloat. Post-hoc simplification of GP-derived mathematical expressions is therefore a practically important objective. In this work, we investigate the use of Large Language Models as a post-hoc simplification layer for GP-derived mathematical expressions, examining two prompting strategies; Few-Shot Prompting and In-Context Learning across two contemporary LLMs: GPT-5.4-mini and Nemotron-3-Super. We evaluate our approach across 91 datasets drawn from the Penn Machine Learning Benchmark, assessing simplification performance in terms of expression size, mean squared error (MSE), and coefficient of determination (R2). Our results demonstrate that LLMs are capable of reducing expression complexity without catastrophic accuracy loss in the majority of cases. All LLM approaches produce significantly shorter expressions than the GP baseline, with node count reductions ranging from approximately 1 to 7 nodes on average. The accuracy cost is statistically significant but small in practice, with rank-biserial effect sizes between 0.01 and 0.16. These findings suggest that LLMs represent a promising and complementary component within larger SR pipelines.

Read PDF

Similar papers

#artificial intelligence Preprint Oct 2026

RISR: Residual-Informed Scientific Equation Discovery with Large Language Models

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...

Hao-Bo Li, Wen-Shuo Zhang, Wen-Xiao Zhao et al. · 0 citations
#small language model Preprint Sep 2026

EvoMO-SR: Multiobjective LLM-based Evolution of Symbolic Expressions with substructure guidance

EvoMO-SR is proposed, a novel LLM-driven SR framework in which the LLM generates equation skeletons, with their coefficients fitted separately by an external optimizer, which achieves the best accuracy in seven of the eight in-domain and out-of-domain settings for LSR-Synth.

Cristina Rossetti, Anna V. Kononova, Thomas Back et al. · 0 citations
#natural language process... Preprint Sep 2026

LANTERN: Illuminating Hidden Mathematical Knowledge in Language Models

Language models can now prove theorems, but people still decide which problems to pursue. We ask whether a model's internal representations can help identify promising mathematical connections. We develop LANTERN, a fast, cost-efficient pipeline that uses a classifier over pretrained-model activations to rank candidate...

Pavel Tikhonov, Elena Tutubalina, I. Oseledets et al. · 0 citations
#artificial intelligence Preprint Sep 2026

Direct Optimization of Generators for Search in Automated Theorem Proving

This work extends Compute-Aligned Training to this setting through an abstraction of policy-guided search, deriving tractable, trace-supported losses and introduces a search-agnostic uniform-allocation (UA) loss that accounts for the budget without specifying the specific search.

Adam Ousherovitch, A. Tewari · 0 citations
Preprint Oct 2026

LLM Benchmarking via Representation Multi-task Learning

Quantifying and evaluating the capabilities of Large Language Models (LLMs) remains a fundamental challenge in modern data science and artificial intelligence. In this paper, we consider LLM evaluation based on their performance across items in multiple benchmark domains (e.g., mathematical reasoning and coding) within...

Yuqing Xie, Yuxuan Xu, Yang-Yang Feng et al. · 0 citations
#artificial intelligence Preprint Sep 2026

Greedy Decoding Is Not Precision-Invariant: Cross-Precision Output Divergence in LLM Inference

An empirical error-propagation analysis is developed and finds that 22 layers of accumulated body error do not distinguish flipping from non-flipping steps; the outcome depends primarily on the top-two logit margin at the LM head relative to the directional perturbation between the top-two candidates.

Gao-Yuan Du, A. Khan, Rex Zhou et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.