A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving

Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni +7

Automated theorem provers have traditionally relied on manually tuned heuristics to guide how they perform proof search. Deep reinforcement learning has been proposed as a way to o…