updates

index.html

@@ -59,7 +59,7 @@ <h2 id="news">News</h2>
 
     <div class="myborder">
       <ul>
-        <li>8/2023: <a href="https://github.com/dynaroars/neuralsat">NeuralSAT</a> <b>ranked 2nd</b> overall in the annual Verifying Neural Network competition <a href="https://sites.google.com/view/vnn2023">VNN-COMP'24</a> (our second participation, 👏 Hai).<br>
+        <li>8/2023: <a href="https://github.com/dynaroars/neuralsat">NeuralSAT</a> <b>ranked 2nd</b> overall in VNN-COMP'24 (our second participation, 👏 Hai).<br>
 
         <b>Note</b>: Originally, VNN-COMP’s script had a bug that incorrectly parsed NeuralSAT’s (and another tool’s) results, awarding NeuralSAT 0 points and ranking it last. After fixing the issue, NeuralSAT’s results were correctly parsed, awarding it 1113 points and ranking it 2nd, behind ABCrown and above PyRAT. The updated VNN-COMP’24 report, available <a href="https://www.arxiv.org/pdf/2412.19985">here</a>, acknowledges the issue, presents the corrected rankings (see Table B.1), and includes detailed results and graphs in Appendix B.</li>
         <li>8/2024: Appointed <b>Director</b> of the MS Software Engr program</li>