A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.
Zhiyi XueSi LiuZhaodi ZhangYiting WuMin ZhangPublished in: CoRR (2023)
Keyphrases
- approximation methods
- closed form
- approximation algorithms
- efficient computation
- taylor series
- exact computation
- approximation error
- artificial intelligence
- error bounds
- support vector machine
- probability distribution
- relative error
- image processing
- continuous functions
- information retrieval
- limit theorems
- database