Dual Randomized Smoothing: Beyond Global Noise Variance - Sun, Chenhao; Mao, Yuhao; Vechev, Martin (International Conference on Learning Representations, 2026)