Sound Randomized Smoothing in Floating-Point Arithmetics

Open in new window