@article{learningtoguideasaturationbasedtheorem,
  title = {Learning to Guide a Saturation-Based Theorem Prover},
  author = {Ibrahim Abdelaziz and Maxwell Crouse and Bassem Makni and Vernon Austil and Cristina Cornelio and Shajith Ikbal and Pavan Kapanipathi and Ndivhuwo Makondo and Kavitha Srinivas and Michael Witbrock and Achille Fokoue},
  year = {2021},
  eprint = {2106.03906},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2106.03906v1},
}