News

2026

• MayTwo papers were accepted (2× ICML)!
• AprThree papers were accepted (1× ACL, 1× AIED, 1× ICDM)!
• MarI am serving as an Area Chair for NeurIPS and COLM 2026.
• JanFive papers were accepted (3× ICLR, 1× EACL, 1× CPAL)!

2025

• NovTwo papers were accepted to AAAI 2026 (1 oral, 1 poster)!
• OctI am serving as an Area Chair for ARR OCT 2026!
• AugI am serving as an Area Chair for ICLR 2026!
• AugFour papers were accepted (1× ACM MM, 1× ICCV, 2× EMNLP).
• MayThree papers were accepted (1× ICML, 2× ACL)!
• MarI am serving as an Area Chair for NeurIPS 2025!
• FebTwo papers were accepted (1× IEEE S&P 2025, 1× CVPR)!
• JanTwo papers were accepted (1× NAACL, 1× NAACL Findings)!
• JanReceived two Drexel internal grants (2× Carleone Faculty Award)!Carleone Faculty Award ↗

2024

• NovWe are organizing GenAI4Health@AAAI 2025 workshop in Philadelphia in March 2025 and are looking forward to seeing you!GenAI4Health@AAAI 2025 ↗
• SepFour papers were accepted (1× NDSS, 1× EMNLP and 2× NeurIPS)!
• JulThree papers were accepted (1× ECCV, 1× ACM MM and 1× RSS)!
• MayTwo papers were accepted by ICML 2024 and one paper was accepted by ACL 2024!
• MayGlad to receive the Faculty Research Excellence Award from CCI@Drexel. Congrats to my PhD student Jinhao, who received the Student Research Excellence Award!Faculty Research Excellence Award ↗Jinhao ↗
• MarTwo papers were accepted by CVPR 2024, and one paper was accepted by NAACL 2024!
• MarReceived an NSF grant: "Decision-Embedded Deep Learning for Transit Systems". Thank you, NSF!
• JanOne paper was accepted by ICLR 2024, see you in Vienna!

2023

• DecOur team, alpha-beta-crown, won the International Verification of Neural Networks Competition (VNN-COMP 2021 - 2023) three years in a row!International Verification of Neural Networks Competition ↗
• DecOne paper was accepted by AAAI 2024!
• SepTwo papers were accepted by BMVC 2023!
• SepReceived an NSF grant: "Towards Verified Robustness and Safety in Power System-Informed Neural Networks". Thank you, NSF!
• SepReceived an NSF grant: "Deep Learning Gibbs Free Energy Functions to Guide Solid-state Material Synthesis". Thank you, NSF!
• JulOne paper was accepted by ICCV 2023, see you in Paris!
• MayTwo papers were accepted by IJCAI 2023 and ICML 2023 respectively!

2022

• SepTwo papers were accepted by NeurIPS 2022!
• SepCongratulations again! Our team alpha-beta-crown won the International Verification of Neural Networks Competition (VNN-COMP 2022) with the highest total score!
• MayOne paper was accepted by ICML 2022!
• AprI'm a co-organizer of ICML 2022 Workshop on Formal Verification of Machine Learning. Submit your paper by May 27, 2022 (see our Call for Papers!).Workshop on Formal Verification of Machine Learning ↗Call for Papers ↗
• FebI am one of the main speakers for AAAI 2022 Tutorial Formal Verification of Deep Neural Networks: Theory and Practice [tutorial webpage]Formal Verification of Deep Neural Networks: Theory and Practice ↗tutorial webpage ↗

2021

• OctI was invited by Qi Alfred Chen to talk about my recent research works on Formal Neural Network Verification at UC Irvine.Qi Alfred Chen ↗
• SepTwo papers were accepted by NeurIPS 2021!
• SepCongratulations! Our team Alpha-beta-crown won the International Verification of Neural Networks Competition (VNN-COMP 2021) with the highest total score. (official website, certificate, source code and competition report)official website ↗certificate ↗source code ↗competition report ↗
• MarI was invited by Visual Informatics Group @ University of Texas at Austin to talk about my recent research works.Visual Informatics Group @ University of Texas at Austin ↗
• MarI co-organized ATVA 2021 Workshop on Security and Reliability of Machine Learning (SRML).ATVA 2021 Workshop on Security and Reliability of Machine Learning (SRML) ↗
• JanTwo papers were accepted by ICLR 2021.

2020

• SepOne paper was accepted by NeurIPS 2020.
• JulOne paper was accepted by ECCV 2020 (Spotlight).
• JunOne paper was accepted by ICML 2020.
• MayI will work as a research intern at Tencent Media Lab in Summer 2020.Tencent Media Lab ↗
• FebOne paper was accepted by CVPR 2020.
• JanI will work as a research intern at MIT-IBM Watson AI Lab in Spring 2020.MIT-IBM Watson AI Lab ↗

2019

• OctI received the student travel award by NeurIPS 2019 and will present my paper. See you at Vancouver!
• SepOne paper was accepted by NeurIPS 2019.
• AugI received the student travel award by ICCV 2019 and will present my two papers. See you at Seoul!
• JulTwo papers were accepted by ICCV 2019.
• MayOne paper was accepted by IJCAI 2019.
• MayI received the student travel award by ICLR 2019 and will present my paper. See you at New Orleans!

2018

• DecOne paper was accepted by ICLR 2019.