activity
20172022
most citedImproved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

16 citations · 32 across the 9 of their papers we have counts for

collaborators
Showing stat.MLShow all

1 paper · 1 filter

stat.ML2018

A Statistical Approach to Assessing Neural Network Robustness

Stefan Webb, Tom Rainforth, Yee Whye Teh +1

We present a new approach to assessing the robustness of neural networks based on estimating the proportion of inputs for which a property is violated. Specifically, we estimate th…