2 papers
cs.LG2024
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
Zongxin Liu, Zhe Zhao, Fu Song +4
Formal verification provides critical security assurances for neural networks, yet its practical application suffers from the long verification time. This work introduces a novel m…
cs.LG2024
DeepCDCL: An CDCL-based Neural Network Verification Framework
Zongxin Liu, Pengfei Yang, Lijun Zhang +1
Neural networks in safety-critical applications face increasing safety and security concerns due to their susceptibility to little disturbance. In this paper, we propose DeepCDCL,…