Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement.

Jianan Ma, Jingyi Wang, Qi Xuan, Zhen Wang

Browse the full CCS paper archive.