9 citations · 14 across the 9 of their papers we have counts for
1 paper · 1 filter
Xiyue Zhang, Benjie Wang, Marta Kwiatkowska +1
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 neur…