research
∙
01/14/2021
Scaling the Convex Barrier with Active Sets
Tight and efficient neural network bounding is of critical importance fo...
share
research
∙
09/14/2019
Branch and Bound for Piecewise Linear Neural Network Verification
The success of Deep Learning and its potential use in many safety-critic...
research
∙
10/30/2018
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
Recent works have shown that it is possible to train models that are ver...
research
∙
05/23/2018
Efficient Relaxations for Dense CRFs with Sparse Higher Order Potentials
Dense conditional random fields (CRFs) with Gaussian pairwise potentials...
research
∙
11/01/2017
