Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding.

Zhilu Wang, Chao Huang, Qi Zhu

Browse the full DATE paper archive.