research
∙
05/23/2023
Expressive Losses for Verified Robustness via Convex Combinations
In order to train networks for verified adversarial robustness, previous...
share
research
∙
06/29/2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Recent works have tried to increase the verifiability of adversarially t...
research
∙
01/11/2022
In Defense of the Unitary Scalarization for Deep Multi-Task Learning
Recent multi-task learning research argues against unitary scalarization...
research
∙
04/14/2021
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
We improve the scalability of Branch and Bound (BaB) algorithms for form...
research
∙
01/14/2021
Scaling the Convex Barrier with Active Sets
Tight and efficient neural network bounding is of critical importance fo...
research
∙
02/24/2020
Lagrangian Decomposition for Neural Network Verification
A fundamental component of neural network verification is the computatio...
research
∙
03/22/2019
Sampling Acquisition Functions for Batch Bayesian Optimization
This paper presents Acquisition Thompson Sampling (ATS), a novel algorit...
research
∙
09/12/2018