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/21/2021
Learning Theorem Proving Components
Saturation-style automated theorem provers (ATPs) based on the given cla...
research
∙
07/14/2021
Fast and Slow Enigmas and Parental Guidance
We describe several additions to the ENIGMA system that guides clause se...
research
∙
02/13/2020
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
We describe an implementation of gradient boosting and neural guidance o...
research
∙
03/07/2019