research
∙
10/14/2022
Zonotope Domains for Lagrangian Neural Network Verification
Neural network verification aims to provide provable bounds for the outp...
share
research
∙
10/14/2021
Inverse Problems Leveraging Pre-trained Contrastive Representations
We study a new family of inverse problems for recovering representations...
research
∙
07/06/2021
Provable Lipschitz Certification for Generative Models
We present a scalable technique for upper bounding the Lipschitz constan...
research
∙
08/19/2020
Quarantines as a Targeted Immunization Strategy
In the context of the recent COVID-19 outbreak, quarantine has been used...
research
∙
03/02/2020
Exactly Computing the Local Lipschitz Constant of ReLU Networks
The Lipschitz constant of a neural network is a useful metric for provab...
research
∙
03/20/2019
Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes
We propose a novel method for computing exact pointwise robustness of de...
research
∙
02/21/2019