research
∙
04/06/2023
A Mathematical Benchmark for Inductive Theorem Provers
We present a benchmark of 29687 problems derived from the On-Line Encycl...
share
research
∙
05/13/2022
Lash 1.0 (System Description)
Lash is a higher-order automated theorem prover created as a fork of the...
research
∙
04/15/2020
Prolog Technology Reinforcement Learning Prover
We present a reinforcement learning toolkit for experiments with guiding...
research
∙
12/03/2019
Self-Learned Formula Synthesis in Set Theory
A reinforcement learning algorithm accomplishes the task of synthesizing...
research
∙
11/07/2019
Can Neural Networks Learn Symbolic Rewriting?
This work investigates if the current neural architectures are adequate ...
research
∙
07/18/2019
A Tale of Two Set Theories
We describe the relationship between two versions of Tarski-Grothendieck...
research
∙
04/19/2019
Cantor-Bernstein implies Excluded Middle
We prove in constructive logic that the statement of the Cantor-Bernstei...
research
∙
03/06/2019