@article{dualrandomizedsmoothingbeyondglobalnoise, title = {Dual Randomized Smoothing: Beyond Global Noise Variance}, author = {Chenhao Sun and Yuhao Mao and Martin Vechev}, year = {2025}, eprint = {2512.01782}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2512.01782}, }