Recent works have introduced input-convex neural networks (ICNNs) as lea...
While it is shown in the literature that simultaneously accurate and rob...
In this discussion paper, we survey recent research surrounding robustne...
Graph neural networks (GNNs) have been successfully employed in a myriad...
In this paper, we study certifying the robustness of ReLU neural network...
Methods to certify the robustness of neural networks in the presence of ...
When using deep neural networks to operate safety-critical systems, asse...
In this paper, we consider the problem of certifying the robustness of n...
In this paper, we consider the problem of unsupervised video object
segm...