Neuron Pairs in Binarized Neural Networks Robustness Verification via Integer Linear Programming.
Dymitr LubczykJosé NetoPublished in: ISCO (2024)
Keyphrases
- integer linear programming
- neural network
- bicriteria
- column generation
- activation function
- neural models
- linear inequalities
- model checking
- genetic algorithm
- global constraints
- artificial neural networks
- neural network model
- rbf network
- back propagation
- associative memory
- recurrent neural networks
- document images
- symmetry breaking
- pseudo boolean
- perfect phylogeny
- branch and bound algorithm
- radial basis function
- neural model
- search algorithm
- boolean satisfiability
- optimal solution