Showing results (1-10 of 2) with videos related to

Sort By:
Pageof 1
IEEE Transactions on Pattern Analysis and Machine Intelligence|January 4, 2022
Learning to Guide a Saturation-Based Theorem ProverIbrahim Abdelaziz, Maxwell Crouse, Bassem Makni, et al.
Nature Communications|April 12, 2023
Combining data and theory for derivable scientific discovery with AI-DescartesCristina Cornelio, Sanjeeb Dash, Vernon Austel, et al.
Pageof 1