From Robustness to Explainability and Back Again

Xuanxiang Huang, Joao Marques-Silva

Formal explainability guarantees the rigor of computed explanations, and so it is paramount in domains where rigor is critical, including those deemed high-risk. Unfortunately, sin…