@article{advrepairprovablerepairofadversarial,
  title = {Patch Synthesis for Property Repair of Deep Neural Networks},
  author = {Zhiming Chi and Jianan Ma and Pengfei Yang and Cheng-Chao Huang and Renjue Li and Xiaowei Huang and Lijun Zhang},
  year = {2024},
  eprint = {2404.01642},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2404.01642v2},
}