@article{adeepreinforcementlearningbasedapproach,
  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 = {2019},
  eprint = {1911.02065},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1911.02065v3},
}