%0 Journal Article
%T Neural Network Branching for Neural Network Verification
%A Lu, Jingyue
%A Kumar, M. Pawan
%J Statistics
%V 2019
%N 1912
%D 2019-12-03
%~ DeepDyve