Crouse, Maxwell, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, and Achille Fokoue. 2021. “A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (7):6279-87. https://doi.org/10.1609/aaai.v35i7.16780.