Department of Engineering Science, University of Oxford, Alan Turing Institute; Department of Engineering Science, University of Oxford; Department of Statistics, University of Oxford
Stefan Webb, Tom Rainforth, Yee Whye Teh, M. Pawan Kumar
neural network verification;multi-level splitting;formal verification
A Statistical Approach to Assessing Neural Network Robustness