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

Jianan Ma Jingyi Wang 0004 Qi Xuan 0001 Zhen Wang 0013 Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement. 4169-4183 2025 CCS https://doi.org/10.1145/3719027.3765057 conf/ccs/2025 db/conf/ccs/ccs2025.html#Ma00025