kaiyuy commited on
Commit
41be711
1 Parent(s): afb5ebd

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -17,7 +17,7 @@ Under review, NeurIPS (Datasets and Benchmarks Track), 2023
17
  @article{yang2023leandojo,
18
  title={{LeanDojo}: Theorem Proving with Retrieval-Augmented Language Models},
19
  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},
20
- journal={arXiv preprint arXiv:xxxx.xxxxx},
21
  year={2023}
22
  }
23
  ```
 
17
  @article{yang2023leandojo,
18
  title={{LeanDojo}: Theorem Proving with Retrieval-Augmented Language Models},
19
  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},
20
+ journal={arXiv preprint arXiv:2306.15626},
21
  year={2023}
22
  }
23
  ```