Branch and Bound for Sigmoid-Like Neural Network Verification.
Xiaoyong XueMeng SunPublished in: ICFEM (2023)
Keyphrases
- depth first search
- branch and bound
- neural network
- activation function
- lower bound
- search algorithm
- branch and bound algorithm
- tree search
- column generation
- optimal solution
- search space
- hidden layer
- sigmoid function
- upper bound
- combinatorial optimization
- back propagation
- artificial neural networks
- randomly generated problems
- branch and bound procedure
- network design problem
- search tree
- neural network model
- belief networks
- feed forward
- beam search
- search strategies
- max sat
- integer programming problems
- branch and bound method
- branch and bound search
- genetic algorithm
- multilayer perceptron
- radial basis function
- tree search algorithm
- linear programming relaxation
- network architecture
- model checking
- objective function
- lagrangian heuristic