ML Anthology
Authors
Search
About
Ji, Xiayan
1 publications
NeurIPS
2024
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties
Xiayan Ji
,
Anton Xue
,
Eric Wong
,
Oleg Sokolsky
,
Insup Lee