update

index.html

@@ -70,7 +70,7 @@ <h2 id="news">News</h2>
 
     <div class="myborder">
       <ul>
-        <li>8/2023: <a href="https://github.com/dynaroars/neuralsat">NeuralSAT</a> <b>ranked 4th</b> in the annual neural network competition <a href="https://sites.google.com/view/vnn2023">VNN-COMP'23</a> (our first participation)</li>
+        <li>8/2023: <a href="https://github.com/dynaroars/neuralsat">NeuralSAT</a> <b>ranked 4th</b> overall in the annual neural network competition <a href="https://sites.google.com/view/vnn2023">VNN-COMP'23</a> (our first participation)</li>
         <li>8/2023: <b>FSE SRC</b> (Student Research Competition) paper on dynamic complexity analysis (👏 Didier)</li>
         <li>8/2023: <b>FSE'23</b> Industry paper on fault localization</li>
         <li>7/2023: 🎁 Received an <b>NSF Formal Methods in the Field (FMitF) Track 2 Grant</b></li>