research
∙
10/21/2021
A Fine-Grained Analysis on Distribution Shift
Robustness to distribution shifts is critical for deploying machine lear...
share
research
∙
10/18/2021
Learning Optimal Conformal Classifiers
Modern deep learning based classifiers show very high accuracy on test d...
research
∙
02/18/2021
Verifying Probabilistic Specifications with Functional Lagrangians
We propose a general framework for verifying input-output specifications...
research
∙
11/14/2020
Towards transformation-resilient provenance detection of digital media
Advancements in deep generative models have made it possible to synthesi...
research
∙
10/27/2020
An efficient nonconvex reformulation of stagewise convex optimization problems
Convex optimization problems with staged structure appear in several con...
research
∙
07/04/2019
Adversarial Robustness through Local Linearization
Adversarial training is an effective methodology for training deep neura...
research
∙
02/25/2019
Verification of Non-Linear Specifications for Neural Networks
Prior work on neural network verification has focused on specifications ...
research
∙
12/04/2018