Update README.md

README.md

@@ -1,3 +1,20 @@
 ---
 license: lgpl-2.1
 ---
+
+The ASTactic model 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.