14 citations · 21 across the 3 of their papers we have counts for
3 papers
AI Descartes: Combining Data and Theory for Derivable Scientific Discovery
Cristina Cornelio, Sanjeeb Dash, Vernon Austel +6
Scientists have long aimed to discover meaningful formulae which accurately describe experimental data. A common approach is to manually create mathematical models of natural pheno…
Symbolic Regression using Mixed-Integer Nonlinear Optimization
Vernon Austel, Cristina Cornelio, Sanjeeb Dash +4
The Symbolic Regression (SR) problem, where the goal is to find a regression function that does not have a pre-specified form but is any function that can be composed of a list of…
Globally Optimal Symbolic Regression
Vernon Austel, Sanjeeb Dash, Oktay Gunluk +4
In this study we introduce a new technique for symbolic regression that guarantees global optimality. This is achieved by formulating a mixed integer non-linear program (MINLP) who…