Minimal modifications of deep neural networks using verification

DOI10.29007/699QMaRDI QIDQ7024204zbMATH OpenFDO

Authors Ben Goldberger, Guy Katz, Yossi Adi, Joseph Keshet

Publication date 20 February 2025

zbMATH Keywords

verificationdeep neural networksneural networks verificationdeep neural networks modificationneural networks watermarking

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07)

This page was built for publication: Minimal modifications of deep neural networks using verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7024204)