rEGGression: an Interactive and Agnostic Tool for the Exploration of Symbolic Regression Models

TL;DR

rEGGression is an interactive tool leveraging e-graphs to explore large sets of symbolic regression models, enabling pattern matching, filtering, and insights into model building blocks for better understanding of phenomena.

Contribution

It introduces the use of e-graphs in symbolic regression exploration, allowing efficient analysis of large solution sets and enhancing interpretability.

Findings

Enables exploration of larger SR solution sets

Provides pattern matching for model analysis

Facilitates insights into model building blocks

Abstract

Regression analysis is used for prediction and to understand the effect of independent variables on dependent variables. Symbolic regression (SR) automates the search for non-linear regression models, delivering a set of hypotheses that balances accuracy with the possibility to understand the phenomena. Many SR implementations return a Pareto front allowing the choice of the best trade-off. However, this hides alternatives that are close to non-domination, limiting these choices. Equality graphs (e-graphs) allow to represent large sets of expressions compactly by efficiently handling duplicated parts occurring in multiple expressions. E-graphs allow to store and query all SR solution candidates visited in one or multiple GP runs efficiently and open the possibility to analyse much larger sets of SR solution candidates. We introduce rEGGression, a tool using e-graphs to enable the exploration of a large set of symbolic expressions which provides querying, filtering, and pattern matching features creating an interactive experience to gain insights about SR models. The main highlight is its focus in the exploration of the building blocks found during the search that can help the experts to find insights about the studied phenomena.This is possible by exploiting the pattern matching capability of the e-graph data structure.