@inproceedings{zhang-etal-2021-certified,
    title = "Certified Robustness to Programmable Transformations in {LSTM}s",
    author = "Zhang, Yuhao  and
      Albarghouthi, Aws  and
      D{'}Antoni, Loris",
    editor = "Moens, Marie-Francine  and
      Huang, Xuanjing  and
      Specia, Lucia  and
      Yih, Scott Wen-tau",
    booktitle = "Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing",
    month = nov,
    year = "2021",
    address = "Online and Punta Cana, Dominican Republic",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/2021.emnlp-main.82/",
    doi = "10.18653/v1/2021.emnlp-main.82",
    pages = "1068--1083"
}