Sia, Suzanna, Anton Belyy, Amjad Almahairi, Madian Khabsa, Luke Zettlemoyer, and Lambert Mathias. 2023. “Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (8):9837-45. https://doi.org/10.1609/aaai.v37i8.26174.