@misc{indiciaefd2d47597613,
  title = {Learning to Prove from Synthetic Theorems},
  author = {Eser Aygün and Zafarali Ahmed and Ankit Anand and Vlad Firoiu and Xavier Glorot and Laurent Orseau and Doina Precup and Shibl Mourad},
  year = {2020},
  url = {https://arxiv.org/abs/2006.11259},
  note = {Source identifier: 2006.11259}
}