A Single-sample Pruning and Clustering Method for Neural Network Verification.

Huanzhang Xiong, Gang Hou, Long Zhu, Jie Wang, Weiqiang Kong

Browse the full APSEC paper archive.