no code implementations • 1 Jun 2021 • Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
Existing methods for testing DNNs solve the oracle problem by constraining the raw features (e. g. image pixel values) to be within a small distance of a dataset example for which the desired DNN output is known.
no code implementations • 29 Jan 2020 • Isaac Dunn, Laura Hanu, Hadrien Pouget, Daniel Kroening, Tom Melham
We cannot guarantee that training datasets are representative of the distribution of inputs that will be encountered during deployment.
no code implementations • 7 May 2019 • Isaac Dunn, Hadrien Pouget, Tom Melham, Daniel Kroening
Neural networks are vulnerable to adversarially-constructed perturbations of their inputs.