research
∙
07/05/2023
Evaluating AI systems under uncertain ground truth: a case study in dermatology
For safety, AI systems in health undergo thorough evaluations before dep...
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
∙
05/30/2019
A Hierarchical Probabilistic U-Net for Modeling Multi-Scale Ambiguities
Medical imaging only indirectly measures the molecular identity of the t...
research
∙
04/29/2019
Graph Matching Networks for Learning the Similarity of Graph Structured Objects
This paper addresses the challenging problem of retrieval and matching o...
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
∙
06/05/2018
Learning to Follow Language Instructions with Adversarial Reward Induction
Recent work has shown that deep reinforcement-learning agents can learn ...
research
∙
05/25/2018
Training verified learners with learned verifiers
This paper proposes a new algorithmic framework,predictor-verifier train...
research
∙
05/23/2018
Efficient Relaxations for Dense CRFs with Sparse Higher Order Potentials
Dense conditional random fields (CRFs) with Gaussian pairwise potentials...
research
∙
04/06/2018
Programmatically Interpretable Reinforcement Learning
We study the problem of generating interpretable and verifiable policies...
research
∙
02/15/2018
Adversarial Risk and the Dangers of Evaluating Against Weak Attacks
This paper investigates recently proposed approaches for defending again...
research
∙
11/01/2017
Piecewise Linear Neural Network verification: A comparative study
The success of Deep Learning and its potential use in many important saf...
research
∙
06/05/2017
Ensemble Bayesian Optimization
Bayesian Optimization (BO) has been shown to be a very effective paradig...
research
∙
04/13/2016
Visual Storytelling
We introduce the first dataset for sequential vision-to-language, and ex...
research
∙
11/12/2015
Efficient non-greedy optimization of decision trees
Decision trees and randomized forests are widely used in computer vision...
research
∙
06/19/2015
