Our paper on certified robustness for bounded edit distance perturbations was accepted at NeurIPS 2023.