DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation

Yiting Wu, Zhaodi Zhang, Zhiyi Xue +2

The robustness of neural networks is fundamental to the hosting system's reliability and security. Formal verification has been proven to be effective in providing provable robustn…