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]
Abstract is missing.