Neural Network Branch-and-Bound for Neural Network Verification.
Florian JaeckleJingyue LuM. Pawan KumarPublished in: CoRR (2021)
Keyphrases
- neural network
- branch and bound
- branch and bound algorithm
- lower bound
- search algorithm
- artificial neural networks
- upper bound
- optimal solution
- search space
- combinatorial optimization
- column generation
- genetic algorithm
- neural network model
- beam search
- branch and bound method
- branch and bound procedure
- heuristic search