PREMAP: A Unifying PREiMa
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
arXiv:2408.09262v1 Announce Type: new
Abstract: Most methods for neural network verification focus on bounding the image, i.e., set of outputs for a given input set. This can be used to, for example, check the robustness of neural network predictions to bounded perturbations of an input. However, v…
