DeepCDCL: A CDCL-based Neural Network Verification Framework
Paper Synopsis
Neural networks in safety-critical applications face increasing security and safety concerns due to their susceptibility to little disturbance. In this paper, we propose DeepCDCL, a novel neural network verification framework based on the Conflict-Driven Clause Learning (CDCL) algorithm. We introduce an asynchronous clause learning and management structure, reducing redundant time consumption compared to the direct application of the CDCL framework. Furthermore, we also provide a detailed evaluation of the performance of our approach on the ACAS Xu and MNIST datasets, showing a significant speed-up in most verification problems.
Cite the Paper
Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang: DeepCDCL: A CDCL-based Neural Network Verification Framework. In Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings, volume 14777 of Lecture Notes in Computer Science, pages 343-355, 2024. DOI BIB