48 citations · 76 across the 17 of their papers we have counts for
4 papers · 1 filter
QuantifyML: How Good is my Machine Learning Model?
Muhammad Usman, Divya Gopinath, Corina S. Păsăreanu
The efficacy of machine learning models is typically determined by computing their accuracy on test data sets. However, this may often be misleading, since the test data may not be…
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
Colin Paterson, Haoze Wu, John Grese +3
We introduce DeepCert, a tool-supported method for verifying the robustness of deep neural network (DNN) image classifiers to contextually relevant perturbations such as blur, haze…
NNrepair: Constraint-based Repair of Neural Network Classifiers
Muhammad Usman, Divya Gopinath, Youcheng Sun +2
We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the la…
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Muhammad Usman, Yannic Noller, Corina Pasareanu +2
This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and…