Goto

Collaborating Authors

 Deep Learning






Zonotope Domains for Lagrangian Neural Network Verification Matt Jordan

Neural Information Processing Systems

Under the dual lens, verification is treated as a stagewise optimization problem and Lagrangian relaxation is applied to yield a dual function that always provides valid lower bounds.


Zonotope Domains for Lagrangian Neural Network Verification Matt Jordan

Neural Information Processing Systems

Under the dual lens, verification is treated as a stagewise optimization problem and Lagrangian relaxation is applied to yield a dual function that always provides valid lower bounds.





Vision GNN: An Image is Worth Graph of Nodes Kai Han 1,2 Yunhe Wang

Neural Information Processing Systems

These progresses are pushing the vision models towards an unprecedented height. Different networks treat the input image in different ways. As shown in Figure 1, the image data is usually represented as a regular grid of pixels in the Euclidean space.