Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning

Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai

The problem-solving in automated theorem proving (ATP) can be interpreted as a search problem where the prover constructs a proof tree step by step. In this paper, we propose a dee…