Branch and Bound for Piecewise Linear Neural Network Verification.
Rudy BunelJingyue LuIlker TurkaslanPhilip H. S. TorrPushmeet KohliM. Pawan KumarPublished 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