no code implementations • 18 Aug 2023 • Ryan Cory-Wright, Bachir El Khadir, Cristina Cornelio, Sanjeeb Dash, Lior Horesh
The discovery of scientific formulae that parsimoniously explain natural phenomena and align with existing background theory is a key goal in science.
1 code implementation • 3 Sep 2021 • Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler Josephson, Joao Goncalves, Kenneth Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh
We develop a method to enable principled derivations of models of natural phenomena from axiomatic knowledge and experimental data by combining logical reasoning with symbolic regression.
1 code implementation • L4DC 2020 • Amir Ali Ahmadi, Bachir El Khadir
We then demonstrate the added value of side information for learning the dynamics of basic models in physics and cell biology, as well as for learning and controlling the dynamics of a model in epidemiology.