TY  - RPRT
TI  - Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement
AU  - Jianan Ma
AU  - Jingyi Wang
AU  - Qi Xuan
AU  - Zhen Wang
PY  - 2025
UR  - https://arxiv.org/abs/2511.07741
ID  - 2511.07741
ER  -