Duong, Hai

1. A DPLL(T) Framework for Verifying Deep Neural Networks
   2023/07/17 by Hai Duong, Duong, Hai, ThanhVu Nguyen +3 · 6 citations
   Computer Science · #Adversarial Robustness in Machine Learning
2. Harnessing Neuron Stability to Improve DNN Verification
   2024/01/19 by Hai M. Duong, Dong Xu, Duong, Hai +5 · 3 citations
   Computer Science · Materials Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science