Zhilu Wang, Chao Huang 0015, Qi Zhu 0002. Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. In Cristiana Bolchini, Ingrid Verbauwhede, Ioana Vatajelu, editors, 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022. pages 1087-1092, IEEE, 2022. [doi]
Abstract is missing.