"Neural Network Branching for Neural Network Verification."

Jingyue Lu, M. Pawan Kumar (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics