Skip to content
Conference Open access

Progressive Subexpression Reuse in Symbolic Regression: Insights from RL-based Search and a Genetic Programming Realization

Sep 2026 · Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence · 0 citations · 22 references

TL;DR

Reinforcement Genetic Programming is proposed, a purely GP-based and non-RL framework that explicitly realizes a stage-wise retention– reintroduction loop through a dynamically maintained subexpression pool and pool-guided population initialization, suggesting that progressive subexpression reuse is an effective mechanism for SR search.

Abstract

Symbolic regression (SR) aims to recover compact and interpretable mathematical expressions from data. Genetic programming (GP) directly searches over symbolic structures, but its population dynamics can make it difficult to reliably preserve and accumulate useful subexpressions. In contrast, reinforcement learning (RL)-based SR has shown strong empirical performance, suggesting that learned sampling dynamics may capture useful regularities in symbolic search. Motivated by this contrast, we analyze expressions sampled during RL training and identify a recurring pattern, termed progressive subexpression reuse, where useful simple subexpressions emerge early, become increasingly frequent, and support the formation of more complex structures. Based on this observation, we propose Reinforcement Genetic Programming (RGP), a purely GP-based and non-RL framework that explicitly realizes a stage-wise retention--reintroduction loop through a dynamically maintained subexpression pool and pool-guided population initialization. Experiments on standard SR benchmarks show that RGP matches or outperforms strong baselines without RL policy training, suggesting that progressive subexpression reuse is an effective mechanism for SR search. We release our code at https://github.com/wuxiangdong586-max/RGP.

Read PDF

Similar papers

Jul 2026

LLM-Guided Evolutionary Search for Constraint Model Reformulation to Improve Solver Efficiency

Combinatorial problems appear in numerous industrial applications. A common approach is to formulate these problems as declarative constraint models that can subsequently be compiled to and solved by a range of back-end solvers. Recent work shows that Large Language Models (LLMs) can produce correct models from natural...

Kostis Michailidis, Dimos Tsouros, Dang Nguyen et al. · 0 citations
Preprint Aug 2026

InsightSR: Refining Symbolic Regression Search Spaces via Parallel Semantic and Structural LLM Guidance

Symbolic regression (SR) seeks to discover parsimonious mathematical laws from observational data, yet conventional approaches often struggle with the vast combinatorial search space of physically meaningful expressions. We present InsightSR, a framework that embeds Large Language Models (LLMs) as a guiding layer aroun...

Yating Ling, Wenjing Cun, Zhi-Tang Chen · 0 citations
Jul 2026

Benchmarking Zero-Shot LLM-Generated Parent Selection in Genetic Programming for Symbolic Regression

Analysis shows that many generated operators use semantics to guide selection, suggesting that LLMs can produce non-trivial search heuristics from the task description alone, and the relationship between public LLM leaderboard rankings and GP performance is examined.

Hengzhe Zhang, Qi Chen, Bing Xue et al. · 1 citation
Preprint Aug 2026

ELMER: Evolutionary Language Model that Explores and Refines

This work introduces an Evolutionary Language Model that searches over natural-language policy descriptions and compiles typed programs for execution and shows that language can serve as a steerable, execution-grounded search representation over executable program space.

Matthew Siper, A. Khalifa, Julian Togelius · 0 citations
Jul 2026

M5GP 2.0: Extensions and Enhancements to a Constructive Feature Induction System Based on Genetic Programming

The results indicate that M5GP 2.0 constitutes a robust and scalable symbolic regression framework that achieves a favourable balance between predictive performance, model compactness, and computational efficiency, while retaining the potential for symbolic traceability and post hoc interpretability.

L. Florido, Leonardo Trujillo, Javier Carmona Troyo 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.