Dataset in the paper: [Learning to Prove Theorems via Interacting with Proof Assistants](https://arxiv.org/abs/1905.09381) [Kaiyu Yang](https://yangky11.github.io/) and [Jia Deng](https://www.cs.princeton.edu/~jiadeng/) International Conference on Machine Learning (ICML) 2019 ```bibtex @inproceedings{yang2019coqgym, title={Learning to Prove Theorems via Interacting with Proof Assistants}, author={Yang, Kaiyu and Deng, Jia}, booktitle={International Conference on Machine Learning (ICML)}, year={2019} } ``` Please visit https://github.com/princeton-vl/CoqGym for details.