A Deep Reinforcement Learning Approach to First-Order Logic Theorem ProvingMaxwell CrouseIbrahim Abdelazizet al.2021AAAI 2021Conference paper