TextVerifier: Robustness Verification for Textual Classifiers with Certifiable Guarantees Siqi Sun author Wenjie Ruan author 2023-07 text Findings of the Association for Computational Linguistics: ACL 2023 Anna Rogers editor Jordan Boyd-Graber editor Naoaki Okazaki editor Association for Computational Linguistics Toronto, Canada conference publication sun-ruan-2023-textverifier 10.18653/v1/2023.findings-acl.267 https://aclanthology.org/2023.findings-acl.267/ 2023-07 4362 4380