From 7be2a0bc50ebe5f0ad6b0e4ada6ba2fa3bef2482 Mon Sep 17 00:00:00 2001
From: Peiyang Song <p_song@ucsb.edu>
Date: Mon, 22 Apr 2024 12:18:53 -0700
Subject: [PATCH] Update index.html

minor formatting
---
 index.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/index.html b/index.html
index 9cb451a..238646c 100644
--- a/index.html
+++ b/index.html
@@ -448,10 +448,10 @@ <h2 class="title">BibTeX</h2>
 }
 
 @article{song2024towards,
-  title={Towards Large Language Models as Copilots for Theorem Proving in {Lean}},
-  author={Peiyang Song and Kaiyu Yang and Anima Anandkumar},
-  year={2024},
-  journal = {arXiv preprint arXiv: Arxiv-2404.12534}
+    title={Towards Large Language Models as Copilots for Theorem Proving in {Lean}},
+    author={Peiyang Song and Kaiyu Yang and Anima Anandkumar},
+    year={2024},
+    journal = {arXiv preprint arXiv: Arxiv-2404.12534}
 }</code></pre>
     </div>
 </section>