Probabilistic Verification of Neural Networks using Branch and Bound.
David BoetiusStefan LeueTobias SutterPublished in: CoRR (2024)
Keyphrases
- branch and bound
- neural network
- branch and bound algorithm
- lower bound
- search algorithm
- upper bound
- column generation
- optimal solution
- search space
- combinatorial optimization
- branch and bound procedure
- tree search
- branch and bound method
- beam search
- tree search algorithm
- randomly generated problems
- bayesian networks
- search strategies
- network design problem
- branch and bound search
- model checking
- probabilistic model
- lagrangian heuristic
- belief networks
- max sat
- conditional probabilities
- np hard
- partial solutions
- linear programming relaxation
- evolutionary algorithm