Add SoCo

Author: sdemarch

index.html

@@ -258,21 +258,16 @@ <h2 class="page-section-heading d-inline-block text-white">Publications</h2>
                 <!-- 2024 -->
                 <li><h4 class="treeview">2024</h4>
                     <ul class="tw-nested">
-                        <!--<li>
-                            <p class="pre-wrap lead">S. Demarchi, E. Botoeva and A. Tacchella</p>
-                            <h5>Abstraction-Refinement for Neural Network Verification with Starsets: a Preliminary Report <span class="badge badge-secondary">Conference</span></h5>
-                            <p class="pre-wrap authors">Symposium on AI Verification</p>
-                        </li>-->
+                        <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-warning">Article</span></h5>
+                            <p class="pre-wrap authors">Soft Computing - accepted for publication</p>
+                        </li>
                         <li>
                             <p class="pre-wrap lead">S. Demarchi, A. Gimelli and A. Tacchella</p>
                             <h5>Improving Abstract Propagation for Verification of Neural Networks <span class="badge badge-secondary">Conference</span></h5>
                             <p class="pre-wrap authors">International ECMS Conference on Modeling and Simulation</p>
                         </li>
-                        <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 -->