Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Filters

Cristina Cornelio

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

Pageof 1
Sort By:
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 9, 2026
The need for verification in artificial intelligence-driven scientific discoveryCristina Cornelio, Takuya Ito, Ryan Cory-Wright, et al.
Nature Communications|July 14, 2024
Evolving scientific discovery by unifying data and background knowledge with AI HilbertRyan Cory-Wright, Cristina Cornelio, Sanjeeb Dash, et al.
Transplantation|April 23, 2019
Deceased Donor-initiated Chains: First Report of a Successful Deliberate Case and Its Ethical ImplicationsLucrezia Furian, Cristina Cornelio, Cristina Silvestre, 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.
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.
Pageof 1

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

Sort By:
Pageof 1
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 9, 2026
The need for verification in artificial intelligence-driven scientific discoveryCristina Cornelio, Takuya Ito, Ryan Cory-Wright, et al.
Nature Communications|July 14, 2024
Evolving scientific discovery by unifying data and background knowledge with AI HilbertRyan Cory-Wright, Cristina Cornelio, Sanjeeb Dash, et al.
Transplantation|April 23, 2019
Deceased Donor-initiated Chains: First Report of a Successful Deliberate Case and Its Ethical ImplicationsLucrezia Furian, Cristina Cornelio, Cristina Silvestre, 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.
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.
Pageof 1