IBM AI Descartes: Combining Data and Theory for Derivable Scientific Discoverygithub.com/IBM3 pointstriaste4 years ago