Theorem proving + Machine Learning

Related Work

• "Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning": Compares to tauto
• "Reinforcement Learning of Theorem Proving": Uses MCTS
• "Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method": Imogen
• "Learning to Reason": Intuitionistic logic, reinforcement learning