AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties

Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee 0001. AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. In Amir Globersons, Lester Mackey, Danielle Belgrave, Angela Fan, Ulrich Paquet, Jakub M. Tomczak, Cheng Zhang 0005, editors, Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, NeurIPS 2024, Vancouver, BC, Canada, December 10 - 15, 2024. 2024. [doi]

@inproceedings{JiXWS024,
  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 0001},
  year = {2024},
  url = {http://papers.nips.cc/paper_files/paper/2024/hash/1d3591b6746204b332acb464b775d38d-Abstract-Conference.html},
  researchr = {https://researchr.org/publication/JiXWS024},
  cites = {0},
  citedby = {0},
  booktitle = {Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, NeurIPS 2024, Vancouver, BC, Canada, December 10 - 15, 2024},
  editor = {Amir Globersons and Lester Mackey and Danielle Belgrave and Angela Fan and Ulrich Paquet and Jakub M. Tomczak and Cheng Zhang 0005},
}