Certified Robustness for Automatic Speech Recognition

Paper proposes certified robustness for ASR systems against adversarial and benign perturbations. It addresses sensitivity of deployed ASR models to input variations, providing a formal verification approach.