@inproceedings{sun-ruan-2023-textverifier,
    title = "{T}ext{V}erifier: Robustness Verification for Textual Classifiers with Certifiable Guarantees",
    author = "Sun, Siqi  and
      Ruan, Wenjie",
    editor = "Rogers, Anna  and
      Boyd-Graber, Jordan  and
      Okazaki, Naoaki",
    booktitle = "Findings of the Association for Computational Linguistics: ACL 2023",
    month = jul,
    year = "2023",
    address = "Toronto, Canada",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/2023.findings-acl.267/",
    doi = "10.18653/v1/2023.findings-acl.267",
    pages = "4362--4380"
}