Update index.html

index.html

@@ -446,6 +446,7 @@ <h2 class="title">BibTeX</h2>
     booktitle={Neural Information Processing Systems (NeurIPS)},
     year={2023}
 }
+
 @article{song2024towards,
   title={Towards Large Language Models as Copilots for Theorem Proving in {Lean}},
   author={Peiyang Song and Kaiyu Yang and Anima Anandkumar},