DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis.
Patrick HenriksenAlessio LomuscioPublished in: IJCAI (2021)
Keyphrases
- neural network
- detection method
- pairwise
- artificial neural networks
- back propagation neural network
- network model
- highly efficient
- high accuracy
- computational cost
- dynamic programming
- basis functions
- high precision
- prediction model
- data sets
- probabilistic model
- detection algorithm
- preprocessing
- objective function
- learning algorithm