Sound Randomized Smoothing in Floating-Point Arithmetics.

Václav Vorácek Matthias Hein

Published in: CoRR (2022)

Keyphrases

floating point
square root
fixed point
sparse matrices
interval arithmetic
instruction set
floating point arithmetic
information systems
graphical models
access control
constraint satisfaction problems
belief propagation