Enhancing Branch and Bound for Robustness Verification of Neural Networks via an Effective Branching Strategy.
Shaocong HanYi ZhangPublished in: SETTA (2023)
Keyphrases
- branch and bound
- neural network
- search algorithm
- lower bound
- branch and bound algorithm
- search space
- column generation
- optimal solution
- upper bound
- combinatorial optimization
- search strategies
- randomly generated problems
- branch and bound method
- beam search
- branch and bound search
- branch and bound procedure
- depth first search
- linear programming relaxation
- network design problem
- search strategy
- tree search algorithm
- objective function
- lagrangian heuristic
- integer programming problems
- tree search
- path finding
- partial solutions
- lower and upper bounds
- model checking
- linear programming