@misc{indiciae80906f9ca591,
  title = {Dual Randomized Smoothing: Beyond Global Noise Variance},
  author = {Chenhao Sun and Yuhao Mao and Martin Vechev},
  year = {2026},
  url = {https://arxiv.org/abs/2512.01782},
  note = {Source identifier: 2512.01782}
}