Update index.html

index.html

@@ -45,6 +45,7 @@
                 <div class="column has-text-centered">
                     <h1 class="title is-1 publication-title">LeanDojo: Theorem Proving with Retrieval-Augmented Language Models</h1>
                     <h3 class="title is-4 conference-authors"><a target="_blank" href="https://nips.cc/">NeurIPS 2023 (Datasets and Benchmarks Track), Oral presentation</a></h3>
+                    <!--
                     <div class="is-size-5 publication-authors">
                         <span class="author-block">
                             <a target="_blank" href="https://yangky11.github.io/">Kaiyu&#160;Yang</a> <a href="mailto:[email protected]"><i class="fas fa-envelope"></i></a><sup>1</sup>,
@@ -74,6 +75,7 @@ <h3 class="title is-4 conference-authors"><a target="_blank" href="https://nips.
                     <div class="is-size-5 publication-authors">
                         <span class="author-block"><i class="fas fa-envelope"></i> Correspondence to: [email protected]</span>
                     </div>
+                    -->
 
                     <div class="column has-text-centered">
                         <div class="publication-links">