Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee: AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. NeurIPS 2024