2 papers
cs.LG2019
Branch and Bound for Piecewise Linear Neural Network Verification
Rudy Bunel, Jingyue Lu, Ilker Turkaslan +3
The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. In this context…
cs.AI2017
A Unified View of Piecewise Linear Neural Network Verification
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr +2
The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. Despite the rep…