Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning

AIMat
LRM
Re-assign community