Update README.md

README.md

@@ -40,7 +40,7 @@ license: mit
   <a href="https://goedel-lm.github.io/"><b>Paper Link</b>👁️</a>
 </p>
 
-# Goedel-Prover: Goedel-Prover: A New Frontier in Automated Theorem Proving
+# Goedel-Prover: A New Frontier in Automated Theorem Proving
 
 ## 1. Introduction
 
@@ -122,7 +122,7 @@ We are also releasing 29,7K proofs of the problems in Lean-workbook found by our
 ## 4. Citation
 ```latex
 @article{lin2024Goedelprover,
-      title={Goedel-Prover: Goedel-Prover: A New Frontier in Automated Theorem Proving}, 
+      title={Goedel-Prover: A New Frontier in Automated Theorem Proving}, 
       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},
 }
 ```