avatar

Hai Duong

Ph.D. Student
George Mason University
hduong22@gmu.edu


About Me

I am a Ph.D. student in Computer Science at George Mason University. I am working with Prof. ThanhVu Nguyen at ROARS Lab on Deep Neural Network Verification.

Research Interests

News

Publications

  1. 1. Generating and Checking DNN Verification Proofs (to appear)
    Hai Duong; ThanhVu Nguyen; Matthew Dwyer
    Neural Information Processing Systems (NeurIPS'25)
    PDF Code
  2. 2. Compositional Neural Network Verification via Assume-Guarantee Reasoning (to appear)
    Hai Duong; David Shriver; ThanhVu Nguyen; Matthew Dwyer
    Neural Information Processing Systems (NeurIPS'25) Spotlight
    PDF Code
  3. 3. NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks (pp.409–423)
    Hai Duong; ThanhVu Nguyen; Matthew Dwyer
    Computer Aided Verification (CAV'25)
    PDF Code
  4. 4. Harnessing Neuron Stability to Improve DNN Verification (pp. 859-881)
    Hai Duong; Dong Xu; ThanhVu Nguyen; Matthew Dwyer
    Foundations of Software Engineering (FSE'24)
    PDF Code
  5. 5. Training for Verification: Increasing Neuron Stability to Scale DNN Verification (pp. 24-44)
    Dong Xu; Nusrat Mozumder; Hai Duong; Matthew Dwyer
    Tools and Algorithms for the Construction and Analysis of Systems (TACAS'24)
    PDF Code

Misc