research
∙
03/12/2023
MizAR 60 for Mizar 50
As a present to Mizar on its 50th anniversary, we develop an AI/TP syste...
share
research
∙
07/14/2021
Fast and Slow Enigmas and Parental Guidance
We describe several additions to the ENIGMA system that guides clause se...
research
∙
05/23/2019
ENIGMAWatch: ProofWatch Meets ENIGMA
In this work we describe a new learning-based proof guidance -- ENIGMAWa...
research
∙
02/12/2018