DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation.
Yiting WuZhaodi ZhangZhiyi XueSi LiuMin ZhangPublished in: CoRR (2022)
Keyphrases
- neural network
- lower bound
- approximation algorithms
- pattern recognition
- error bounds
- closed form
- approximation schemes
- approximation methods
- genetic algorithm
- upper bound
- approximation error
- formal methods
- queueing networks
- efficient computation
- hidden layer
- multi layer
- model checking
- worst case
- database
- knn
- control system
- artificial neural networks
- decision trees
- information systems
- social networks
- artificial intelligence
- machine learning
- data sets