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

Full work available at URL https://doi.org/10.29007/699Q

zbMATH Keywords

deep neural networksdeep neural networks modificationneural networks verificationneural networks watermarkingverification

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07)

Cites work

• An abstraction-based framework for neural network verification
• Deep learning
• DeepSafe: a data-driven approach for assessing robustness of neural networks
• Formal verification of neural network controlled autonomous systems
• Formal verification of piece-wise linear feed-forward neural networks
• Reachability analysis for neural feedback systems using regressive polynomial rule inference
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Safety verification of deep neural networks

Cited in

(1)

• Tighter abstract queries in neural network verification

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)