Update README.md

README.md

@@ -14,11 +14,12 @@ Under review, NeurIPS (Datasets and Benchmarks Track), 2023
 [Peiyang Song](https://www.linkedin.com/in/peiyang-song-3279b3251/), [Shixing Yu](https://billysx.github.io/), [Saad Godil](https://www.linkedin.com/in/saad-godil-9728353/), [Ryan Prenger](https://www.linkedin.com/in/ryan-prenger-18797ba1/), [Anima Anandkumar](http://tensorlab.cms.caltech.edu/users/anima/)
 
 ```bibtex
-@article{yang2023leandojo,
-  title={{LeanDojo}: Theorem Proving with Retrieval-Augmented Language Models},
-  author={Yang, Kaiyu and Swope, Aidan and Gu, Alex and Chalamala, Rahul and Song, Peiyang and Yu, Shixing and Godil, Saad and Prenger, Ryan and Anandkumar, Anima},
-  journal={arXiv preprint arXiv:2306.15626},
-  year={2023}
+@inproceedings{yang2023leandojo,
+    title={{LeanDojo}: Theorem Proving with Retrieval-Augmented Language Models},
+    author={Yang, Kaiyu and Swope, Aidan and Gu, Alex and Chalamala, Rahul and Song, Peiyang and Yu, Shixing and Godil, Saad and Prenger, Ryan and Anandkumar, Anima},
+    booktitle={Neural Information Processing Systems (NeurIPS)},
+    year={2023}
+}
 }
 ```