Huai, M., J. Liu, C. Miao, L. Yao, and A. Zhang. “Towards Automating Model Explanations With Certified Robustness Guarantees”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 6, June 2022, pp. 6935-43, doi:10.1609/aaai.v36i6.20651.