Dwyer, Matthew B.

1. Distribution-Aware Testing of Neural Networks Using Generative Models
   2021/02/26 by Dola, Swaroopa, Dwyer, Matthew B., Soffa, Mary Lou · 4 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
2. Harnessing Neuron Stability to Improve DNN Verification
   2024/01/19 by Hai M. Duong, Duong, Hai, Dong Xu +5 · 4 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
3. Refactoring Neural Networks for Verification
   2019/08/06 by David Shriver, Shriver, David, Dong Xu +5 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Software Testing and Debugging Techniques #Software Engineering Research