@misc{indiciae937a6ea99343,
  title = {AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties},
  author = {Xiayan Ji and Anton Xue and Eric Wong and Oleg Sokolsky and Insup Lee},
  year = {2024},
  url = {https://arxiv.org/abs/2410.24178},
  note = {Source identifier: 2410.24178}
}