Update README.md

README.md

@@ -102,3 +102,11 @@ Putnam
 </div>
 
 **Caption:** Our model rank the 1st on [Putnam Leaderboard](https://trishullab.github.io/PutnamBench/leaderboard.html). The performance numbers for existing works are taken from the leaderboard. 💚 indicates open sourced models.
+
+## 4. Citation
+```latex
+@article{lin2024Goedelprover,
+      title={Goedel-Prover: Pushing the Limit of Automated Theorem Proving Through Large Scale Data Synthesizing}, 
+      author={Yong Lin and Shange Tang and Bohan Lyu and Jiayun Wu and Hongzhou Lin and Kaiyu Yang and Jia Li and Mengzhou Xia and Danqi Chen and Sanjeev Arora and Chi Jin},
+}
+```