Browsing University of Waterloo by Supervisor "SCOTT, JOSEPH"
Now showing items 1-1 of 1
-
Meta-Solving via Machine Learning for Automated Reasoning
(University of Waterloo, 2024-05-30)Automated reasoning (AR) and machine learning (ML) are two of the foundational pillars of artificial intelligence (AI) and yet have developed largely independently. The integration of these two sub-fields holds the tremendous ...