Hai Duong

2026

1. 1. Verifying Neural Network Robustness with Dual Perturbations

   Hai Duong; Lam Nguyen; Thanh Le; ThanhVu Nguyen

   Computer Vision and Pattern Recognition (CVPR'26)

   PDF Code
2. 2. Verifying Structural Robustness of Deep Neural Network

   Hai Duong; Thanh Le; Lam Nguyen; ThanhVu Nguyen

   Foundations of Software Engineering (FSE'26)

   PDF Code

2025

3. 3. Compositional Neural Network Verification via Assume-Guarantee Reasoning

   Hai Duong; David Shriver; ThanhVu Nguyen; Matthew Dwyer

   Neural Information Processing Systems (NeurIPS'25) - Spotlight

   PDF Code
4. 4. Generating and Checking DNN Verification Proofs

   Hai Duong; ThanhVu Nguyen; Matthew Dwyer

   Neural Information Processing Systems (NeurIPS'25)

   PDF Code
5. 5. NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks

   Hai Duong; ThanhVu Nguyen; Matthew Dwyer

   Computer Aided Verification (CAV'25)

   PDF Code
6. 6. NeuralSAT: Scaling Constraint Solving for DNN Verification

   Hai Duong; ThanhVu Nguyen

   International Symposium on AI Verification (SAIV'25) - Competition Contribution

   PDF Code

2024

7. 7. Harnessing Neuron Stability to Improve DNN Verification

   Hai Duong; Dong Xu; ThanhVu Nguyen; Matthew Dwyer

   Foundations of Software Engineering (FSE'24)

   PDF Code
8. 8. Training for Verification: Increasing Neuron Stability to Scale DNN Verification

   Dong Xu; Nusrat Mozumder; Hai Duong; Matthew Dwyer

   Tools and Algorithms for the Construction and Analysis of Systems (TACAS'24)

   PDF Code

2022

9. 9. SymInfer: Inferring Numerical Invariants using Symbolic States

   ThanhVu Nguyen; KimHao Nguyen; Hai Duong

   International Conference on Software Engineering (ICSE'22) - Companion Proceedings

   PDF Code