Combining Data and Theory for Derivable Scientific Discovery with AI-DescartesCristina CornelioSanjeeb Dashet al.2023Nature Communications