Search Results for author:
Found 2 papers, 0 papers with code
DeepCDCL: An CDCL-based Neural Network Verification Framework
Neural networks in safety-critical applications face increasing safety and security concerns due to their susceptibility to little disturbance.
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Moreover, based on the framework, we propose the multi-objective DNN repair problem and give an algorithm based on our incremental SMT solving algorithm.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
