@misc{indiciae067e1964ed68,
  title = {GamePad: A Learning Environment for Theorem Proving},
  author = {Daniel Huang and Prafulla Dhariwal and Dawn Song and Ilya Sutskever},
  year = {2018},
  url = {https://arxiv.org/abs/1806.00608},
  note = {Source identifier: 1806.00608}
}