##article.return## Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement Download Download PDF