16 citations · 32 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019
Neural Network Branching for Neural Network Verification
Jingyue Lu, M. Pawan Kumar
Formal verification of neural networks is essential for their deployment in safety-critical areas. Many available formal verification methods have been shown to be instances of a u…
cs.LG2019
Training Neural Networks for and by Interpolation
Leonard Berrada, Andrew Zisserman, M. Pawan Kumar
In modern supervised learning, many deep neural networks are able to interpolate the data: the empirical loss can be driven to near zero on all samples simultaneously. In this work…