RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion - Huang, Zhuoqun; Marchant, Neil G; Lucas, Keane; Bauer, Lujo; Ohrimenko, Olga; Rubinstein, Benjamin (Advances in Neural Information Processing Systems, 2023)