Search Results for author:
Found 4 papers, 2 papers with code
Prolog Technology Reinforcement Learning Prover
We present a reinforcement learning toolkit for experiments with guiding automated theorem proving in the connection calculus.
Self-Learned Formula Synthesis in Set Theory
A reinforcement learning algorithm accomplishes the task of synthesizing a set-theoretical formula that evaluates to given truth values for given assignments.
Can Neural Networks Learn Symbolic Rewriting?
This work investigates if the current neural architectures are adequate for learning symbolic rewriting.
GRUNGE: A Grand Unified ATP Challenge
This paper describes a large set of related theorem proving problems obtained by translating theorems from the HOL4 standard library into multiple logical formalisms.
Logic in Computer Science
