Yansong Dong

Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement

Deep neural networks (DNNs) have become integral to numerous safety-critical applications, necessitating rigorous verification of their trustworthiness. However, the problem of verifying DNNs has high computational complexity, and existing techniques have limited efficiency, insufficient to deal wit