Combining Data and Theory for Derivable Scientific Discovery with AI-Descartes
- Cristina Cornelio
- Sanjeeb Dash
- et al.
- 2023
- Nature Communications
Paper
Publications
2 results for Cristina Cornelio
Proof Extraction for Logical Neural Networks
- Thabang Lebese
- Ndivhuwo Makondo
- et al.
- 2021
- NeurIPS 2021
Workshop paper