Sound Randomized Smoothing in Floating-Point Arithmetic.

Vclav Vorcek, Matthias Hein

Browse the full ICLR paper archive.