SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

DOI10.1007/978-3-031-15077-7_5MaRDI QIDQ6487301zbMATH OpenFDO

Authors Fabian Bauer-Marquart, Stefan Leue, Christian Schilling

Publication date 7 December 2022

Full work available at URL https://doi.org/10.1007/978-3-031-15077-7_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial neural networks and deep learning (68T07)

Recommendations

• Safety verification of deep neural networks
• Reluplex: a calculus for reasoning about deep neural networks
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Abstract neural networks
• Formal specification for deep neural networks

Cites work

• A simplicial homology algorithm for Lipschitz optimisation
• A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
• Deep learning
• scientific article; zbMATH DE number 7030501 (Why is no real title available?)
• Proving the Correctness of Multiprocess Programs
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Safety verification of deep neural networks

Cited in

(1)

• \textsf{symQV}: automated symbolic verification of quantum programs

This page was built for publication: SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

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