@article{arprocounterfactualexplanationsfor,
  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},
  eprint = {2410.24178},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2410.24178v1},
}