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

Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue

Browse the full AAAI paper archive.