Robustness to distribution shifts is critical for deploying machine lear...
Modern deep learning based classifiers show very high accuracy on test d...
We propose a general framework for verifying input-output specifications...
Advancements in deep generative models have made it possible to synthesi...
Convex optimization problems with staged structure appear in several
con...
Adversarial training is an effective methodology for training deep neura...
Prior work on neural network verification has focused on specifications ...