4 citations · 7 across the 3 of their papers we have counts for
4 papers
Incorporating Background Knowledge in Symbolic Regression using a Computer Algebra System
Charles Fox, Neil Tran, Nikki Nacion +2
Symbolic Regression (SR) can generate interpretable, concise expressions that fit a given dataset, allowing for more human understanding of the structure than black-box approaches.…
Formalizing Chemical Physics using the Lean Theorem Prover
Maxwell P. Bobbin, Samiha Sharlin, Parivash Feyzishendi +3
Chemical theory can be made more rigorous using the Lean theorem prover, an interactive theorem prover for complex mathematics. We formalize the Langmuir and BET theories of adsorp…
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…