updates

index.html

@@ -62,6 +62,7 @@ <h2 id="news">News</h2>
         <li>1/2025: <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, gave it 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>1/2025: <b>ICSE'25</b> NIER paper on LLM-based autoformalization for LEAN (👏 Long, first paper)</li>
         <li>8/2024: Appointed <b>Director</b> of the MS Software Engr program</li>
         <li>8/2024: Promoted to <b>Associate Professor</b> with <b>tenure</b></li>
         <li>6/2024: 🎁 Received an <b>NSF Collaborative Formal Methods in the Field (FMitF) Grant</b></li>
@@ -359,6 +360,10 @@ <h4><a href="https://scholar.google.com/citations?user=1Ntl0BYAAAAJ&hl=en&authus
 
 <div class="myborder">
   <ol>
+    <li><em>Long Doan</em> and ThanhVu Nguyen.
+        AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants,
+        International Conference on Software Engineering- New Idea and Emergining Results (ICSE-NIER), 2025</li>
+
     <li><em>Hai Duong</em>, Dong Xu, ThanhVu Nguyen, Matthew Dwyer.
       <a href="pubs/duong2024harnessing.pdf">Harnessing Neuron Stability to Improve DNN Verification</a>,
       <b>Foundations of Software Engineering (FSE)</b>. 859--881, 2024</li>