Branch and Bound for Piecewise Linear Neural Network Verification.

Rudy Bunel Jingyue Lu Ilker Turkaslan Philip H. S. Torr Pushmeet Kohli M. Pawan Kumar

Published in: CoRR (2019)

Keyphrases

branch and bound
piecewise linear
neural network
lower bound
search algorithm
branch and bound algorithm
upper bound
column generation

optimal solution
model checking
dynamic programming
search space
combinatorial optimization
beam search
branch and bound procedure

branch and bound method
chaotic map
pattern recognition
tree search
network design problem
branch and bound search
randomly generated problems

tree search algorithm
regression algorithm
hyperplane
linear programming relaxation
np hard
training data
feature extraction