Sound Randomized Smoothing in Floating-Point Arithmetic.

Václav Vorácek Matthias Hein

Published in: ICLR (2023)

Keyphrases

floating point arithmetic
floating point
fixed point
databases
artificial intelligence
instruction set
information systems
general purpose