@misc{indiciaed3f153a8beff,
  title = {Automated Repair of Neural Networks},
  author = {Dor Cohen and Ofer Strichman},
  year = {2022},
  url = {https://arxiv.org/abs/2207.08157},
  note = {Source identifier: 2207.08157}
}