@misc{indiciae06c753c472ac,
  title = {Learning to Prove Theorems by Learning to Generate Theorems},
  author = {Mingzhe Wang and Jia Deng},
  year = {2020},
  url = {https://arxiv.org/abs/2002.07019},
  note = {Source identifier: 2002.07019}
}