2025
Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement
IJCAI 2025
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