Picture for Zongxin Liu

Zongxin Liu

DeepCDCL: An CDCL-based Neural Network Verification Framework

Add code
Mar 12, 2024
Viaarxiv icon

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks

Add code
Feb 10, 2023
Figure 1 for Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Figure 2 for Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Figure 3 for Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Figure 4 for Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Viaarxiv icon