Sound randomized smoothing in floating-point arithmetics.

dc.contributor.author	Hein, Matthias
dc.date.accessioned	2023-05-30T11:15:04Z
dc.date.available	2023-05-30T11:15:04Z
dc.date.issued	2022-07-14
dc.identifier.uri	http://hdl.handle.net/10900/141507
dc.language.iso	en	de_DE
dc.publisher	arXiv	de_DE
dc.relation.uri	https://doi.org/10.48550/arXiv.2207.07209	de_DE
dc.subject.ddc	004	de_DE
dc.title	Sound randomized smoothing in floating-point arithmetics.	de_DE
dc.type	Preprint	de_DE
utue.personen.roh	Hein, Matthias
utue.personen.roh	Voráček, Václav