@misc{indiciae26d2c7b2b89b,
  title = {Learning to Prove Theorems via Interacting with Proof Assistants},
  author = {Kaiyu Yang and Jia Deng},
  year = {2019},
  url = {https://arxiv.org/abs/1905.09381},
  note = {Source identifier: 1905.09381}
}