research
∙
12/19/2022
Solving QMLTP Problems by Translation to Higher-order Logic
This paper describes an evaluation of Automated Theorem Proving (ATP) sy...
share
research
∙
05/10/2022
Knowledge Augmented Machine Learning with Applications in Autonomous Driving: A Survey
The existence of representative datasets is a prerequisite of many succe...
research
∙
02/20/2022
