Sound Randomized Smoothing in Floating-Point Arithmetics | Read Paper on Bytez