AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties - Ji, Xiayan; Xue, Anton; Wong, Eric; Sokolsky, Oleg; Lee, Insup (Advances in Neural Information Processing Systems, 2024)