On guaranteed optimal robust explanations for NLP models (Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021)

(untitled) - La Malfa, E; Michelmore, R; Zbrzezny, AM; Paoletti, N; Kwiatkowska, M