Picture for Zhiming Chi

Zhiming Chi

ADVREPAIR:Provable Repair of Adversarial Attack

Add code
Apr 02, 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