CoqGym
收藏数据链接：
官方服务：
资源简介：
Dataset in the paper: [Learning to Prove Theorems via Interacting with Proof Assistants](https://arxiv.org/abs/1905.09381) <br> [Kaiyu Yang](https://yangky11.github.io/) and [Jia Deng](https://www.cs.princeton.edu/~jiadeng/) <br> International Conference on Machine Learning (ICML) 2019 ```bibtex<br> @inproceedings{yang2019coqgym,<br> title={Learning to Prove Theorems via Interacting with Proof Assistants},<br> author={Yang, Kaiyu and Deng, Jia},<br> booktitle={International Conference on Machine Learning (ICML)},<br> year={2019}<br> }<br> ``` Please visit https://github.com/princeton-vl/CoqGym for details.
提供机构：
Zenodo创建时间：
2023-06-30
