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
∙
02/24/2023
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
We introduce ProofNet, a benchmark for autoformalization and formal prov...
research
∙
04/12/2021
Online Machine Learning Techniques for Coq: A Comparison
We present a comparison of several online machine learning techniques fo...
research
∙
03/11/2020
Stateful Premise Selection by Recurrent Neural Networks
In this work, we develop a new learning-based method for selecting facts...
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
∙
11/07/2019
Can Neural Networks Learn Symbolic Rewriting?
This work investigates if the current neural architectures are adequate ...
research
∙
05/20/2019
Guiding Theorem Proving by Recurrent Neural Networks
We describe two theorem proving tasks -- premise selection and internal ...
research
∙
02/09/2018