TY  - RPRT
TI  - AI Descartes: Combining Data and Theory for Derivable Scientific Discovery
AU  - Cristina Cornelio
AU  - Sanjeeb Dash
AU  - Vernon Austel
AU  - Tyler Josephson
AU  - Joao Goncalves
AU  - Kenneth Clarkson
AU  - Nimrod Megiddo
AU  - Bachir El Khadir
AU  - Lior Horesh
PY  - 2023
UR  - https://arxiv.org/abs/2109.01634
ID  - 2109.01634
ER  -