2024 update

Author: sdemarch

index.html

@@ -255,6 +255,16 @@ <h2 class="page-section-heading d-inline-block text-white">Publications</h2>
             <!-- About Section Content-->
             <div class="text-left">
               <ul>
+                <!-- 2024 -->
+                <li><h4 class="treeview">2024</h4>
+                    <ul class="tw-nested">
+                      <li>
+                          <p class="pre-wrap lead">S. Demarchi, D. Guidotti, L. Pulina and A. Tacchella</p>
+                          <h5>NeVer2: Learning and Verification of Neural Networks <span class="badge badge-light">Preprint</span></h5>
+                          <p class="pre-wrap authors">Submitted for peer review, preprint available</p>
+                      </li>
+                    </ul>
+                </li>
                 <!-- 2023 -->
                 <li><h4 class="treeview">2023</h4>
                   <ul class="tw-nested">
@@ -453,7 +463,7 @@ <h4 class="mb-4">Powered by AIMS-Lab</h4>
 
     <!-- Copyright Section -->
     <section class="copyright py-4 text-center text-white">
-        <div class="container"><small class="pre-wrap"><a target="_blank" href="https://github.com/NeVerTools/NeVerTools.github.io/blob/master/LICENSE">MIT Licensed</a> | neuralverification.org 2023 | Hosted with ❤ by <a href="https://github.com/" target="_blank">GitHub</a></small></div>
+        <div class="container"><small class="pre-wrap"><a target="_blank" href="https://github.com/NeVerTools/NeVerTools.github.io/blob/master/LICENSE">MIT Licensed</a> | neuralverification.org 2024 | Hosted with ❤ by <a href="https://github.com/" target="_blank">GitHub</a></small></div>
     </section>
     <!-- Scroll to Top Button (Only visible on small and extra-small screen sizes) -->
     <div class="scroll-to-top d-lg-none position-fixed"><a