Huai, Mengdi, Jinduo Liu, Chenglin Miao, Liuyi Yao, and Aidong Zhang. 2022. “Towards Automating Model Explanations With Certified Robustness Guarantees”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (6):6935-43. https://doi.org/10.1609/aaai.v36i6.20651.