Search Results for author: Bachir El Khadir

Found 3 papers, 2 papers with code

AI Hilbert: A New Paradigm for Scientific Discovery by Unifying Data and Background Knowledge

no code implementations18 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.

AI Descartes: Combining Data and Theory for Derivable Scientific Discovery

1 code implementation3 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.

Automated Theorem Proving BIG-bench Machine Learning +2

Learning Dynamical Systems with Side Information

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.

Epidemiology

Cannot find the paper you are looking for? You can Submit a new open access paper.