@misc{indiciaebae2a0eb983b,
  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 = {2025},
  url = {https://arxiv.org/abs/2404.01642},
  note = {Source identifier: 2404.01642}
}