@misc{indiciae682e272e4c22,
  title = {Sound and Complete Neural Network Repair with Minimality and Locality Guarantees},
  author = {Feisi Fu and Wenchao Li},
  year = {2022},
  url = {https://arxiv.org/abs/2110.07682},
  note = {Source identifier: 2110.07682}
}