Tübingen AI Center, University of Tübingen
Vaclav Voracek, Matthias Hein
Randomized smoothing;floating-point arithmetic;adversarial robustness;formal methods
Sound Randomized Smoothing in Floating-Point Arithmetic