@inproceedings{gamepadalearningenvironmentfortheorem,
  title = {GamePad: A Learning Environment for Theorem Proving},
  author = {Daniel Huang and Prafulla Dhariwal and Dawn Song and Ilya Sutskever},
  year = {2018},
  booktitle = {ICLR 2019 5},
  eprint = {1806.00608},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1806.00608v2},
}