Huai, Mengdi, Jinduo Liu, Chenglin Miao, Liuyi Yao, and Aidong Zhang. “Towards Automating Model Explanations With Certified Robustness Guarantees”. Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 6 (June 28, 2022): 6935-6943. Accessed April 19, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/20651.