Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract).

Zhilu Wang, Chao Huang, Qi Zhu

Browse the full IJCAI paper archive.