@misc{indiciae9c1e7b1b053b,
  title = {AIREPAIR: A Repair Platform for Neural Networks},
  author = {Xidan Song and Youcheng Sun and Mustafa A. Mustafa and Lucas Cordeiro},
  year = {2023},
  doi = {10.48550/arxiv.2211.15387},
  url = {https://arxiv.org/abs/2211.15387},
  note = {Source identifier: 2211.15387}
}