Merge pull request #67 from lean-dojo/yangky11-patch-2

Update index.rst

Author: Kaiyu Yang

docs/source/index.rst

@@ -27,11 +27,11 @@ Citation
 
 .. code-block:: 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}
    }