Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning. - Mitsuru Kusumoto; Keisuke Yahata; Masahiro Sakai (CoRR, 2018)