TY - RPRT TI - Dual Randomized Smoothing: Beyond Global Noise Variance AU - Chenhao Sun AU - Yuhao Mao AU - Martin Vechev PY - 2026 UR - https://arxiv.org/abs/2512.01782 ID - 2512.01782 ER -