Branch and Bound for Piecewise Linear Neural Network Verification.
Rudy BunelJingyue LuIlker TurkaslanPhilip H. S. TorrPushmeet KohliM. Pawan KumarPublished in: J. Mach. Learn. Res. (2020)
Keyphrases
- piecewise linear
- branch and bound
- neural network
- lower bound
- search algorithm
- branch and bound algorithm
- search space
- optimal solution
- column generation
- upper bound
- dynamic programming
- combinatorial optimization
- beam search
- tree search
- randomly generated problems
- chaotic map
- branch and bound method
- branch and bound procedure
- tree search algorithm
- pattern recognition
- network design problem
- regression algorithm
- hyperplane
- model checking
- branch and bound search
- bnb adopt
- genetic algorithm
- linear programming relaxation
- search strategy
- np hard
- lagrangian heuristic