Search Results for author: Keisuke Yahata

Found 1 papers, 0 papers with code

Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning

no code implementations2 Nov 2018 Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai

Within the specified time limit, our prover solved 84% of the theorems in a benchmark library, while $\texttt{tauto}$ was able to solve only 52%.

Automated Theorem Proving Data Augmentation +2

Cannot find the paper you are looking for? You can Submit a new open access paper.