
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
We improve the scalability of Branch and Bound (BaB) algorithms for form...
read it

Verifying Probabilistic Specifications with Functional Lagrangians
We propose a general framework for verifying inputoutput specifications...
read it

Scaling the Convex Barrier with Active Sets
Tight and efficient neural network bounding is of critical importance fo...
read it

An efficient nonconvex reformulation of stagewise convex optimization problems
Convex optimization problems with staged structure appear in several con...
read it

Enabling certification of verificationagnostic networks via memoryefficient semidefinite programming
Convex relaxations have emerged as a promising approach for verifying de...
read it

Contrastive Training for Improved OutofDistribution Detection
Reliable detection of outofdistribution (OOD) inputs is increasingly u...
read it

Lagrangian Decomposition for Neural Network Verification
A fundamental component of neural network verification is the computatio...
read it

Branch and Bound for Piecewise Linear Neural Network Verification
The success of Deep Learning and its potential use in many safetycritic...
read it

Knowing When to Stop: Evaluation and Verification of Conformity to Outputsize Specifications
Models such as SequencetoSequence and ImagetoSequence are widely use...
read it

Verification of NonLinear Specifications for Neural Networks
Prior work on neural network verification has focused on specifications ...
read it

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...
read it

Efficient Relaxations for Dense CRFs with Sparse Higher Order Potentials
Dense conditional random fields (CRFs) with Gaussian pairwise potentials...
read it

Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
Program synthesis is the task of automatically generating a program cons...
read it

Piecewise Linear Neural Network verification: A comparative study
The success of Deep Learning and its potential use in many important saf...
read it

Neural Program MetaInduction
Most recently proposed methods for Neural Program Induction work under t...
read it

Efficient Linear Programming for Dense CRFs
The fully connected conditional random field (CRF) with Gaussian pairwis...
read it

Efficient Continuous Relaxations for Dense CRF
Dense conditional random fields (CRF) with Gaussian pairwise potentials ...
read it
Rudy Bunel
is this you? claim profile