@misc{indiciaefa1e82c3af54,
  title = {AI Descartes: Combining Data and Theory for Derivable Scientific Discovery},
  author = {Cristina Cornelio and Sanjeeb Dash and Vernon Austel and Tyler Josephson and Joao Goncalves and Kenneth Clarkson and Nimrod Megiddo and Bachir El Khadir and Lior Horesh},
  year = {2023},
  url = {https://arxiv.org/abs/2109.01634},
  note = {Source identifier: 2109.01634}
}