Update index.html

index.html

@@ -44,7 +44,7 @@
             <div class="columns is-centered">
                 <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://icml.cc/">ICML 2023</a></h3> -->
+                    <h3 class="title is-4 conference-authors"><a target="_blank" href="https://nips.cc/">NeurIPS (Datasets and Benchmarks Track), 2023, 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>,