Neural Network Verification with Branch-and-Bound for General Nonlinearities.
Zhouxing ShiQirui JinZico KolterSuman JanaCho-Jui HsiehHuan ZhangPublished in: CoRR (2024)
Keyphrases
- branch and bound
- neural network
- lower bound
- branch and bound algorithm
- search algorithm
- upper bound
- optimal solution
- search space
- column generation
- branch and bound procedure
- special case
- tree search
- combinatorial optimization
- randomly generated problems
- model checking
- np hard
- search strategies
- heuristic search
- graphical models
- partial solutions
- max sat
- probabilistic model
- reduce the search space
- bayesian networks