TY - RPRT TI - Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI AU - Suzanna Sia AU - Anton Belyy AU - Amjad Almahairi AU - Madian Khabsa AU - Luke Zettlemoyer AU - Lambert Mathias PY - 2022 UR - https://arxiv.org/abs/2205.12469 ID - 2205.12469 ER -