research
∙
08/01/2023
Top-down Automated Theorem Proving (Notes for Sir Timothy)
We describe a "top down" approach for automated theorem proving (ATP). R...
share
research
∙
11/23/2020
Conjecturing-Based Computational Discovery of Patterns in Data
Modern machine learning methods are designed to exploit complex patterns...
research
∙
12/28/2017
