@misc{indiciae0fbc70bcc1c9,
  title = {Training a First-Order Theorem Prover from Synthetic Data},
  author = {Vlad Firoiu and Eser Aygun and Ankit Anand and Zafarali Ahmed and Xavier Glorot and Laurent Orseau and Lei Zhang and Doina Precup and Shibl Mourad},
  year = {2021},
  url = {https://arxiv.org/abs/2103.03798},
  note = {Source identifier: 2103.03798}
}