@misc{indiciae25b644d7f0a8,
  title = {A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving},
  author = {Maxwell Crouse and Ibrahim Abdelaziz and Bassem Makni and Spencer Whitehead and Cristina Cornelio and Pavan Kapanipathi and Kavitha Srinivas and Veronika Thost and Michael Witbrock and Achille Fokoue},
  year = {2020},
  url = {https://arxiv.org/abs/1911.02065},
  note = {Source identifier: 1911.02065}
}