Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio.
Matthias KönigHolger H. HoosJan N. van RijnPublished in: Mach. Learn. (2022)
Keyphrases
- neural network
- dynamic programming
- objective function
- optimal solution
- computational complexity
- combinatorial optimization
- np hard
- simulated annealing
- probabilistic model
- mixed integer linear programming
- cutting plane
- mathematical model
- expectation maximization
- particle filter
- linear programming
- data points
- cost function
- special case
- reinforcement learning
- genetic algorithm