Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement.

Yuehao Liu, Yansong Dong, Liang Zhao, Wensheng Wang, Cong Tian

Browse the full IJCAI paper archive.