Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning

Open in new window