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

DOI10.1007/978-3-031-15077-7_5zbMATH Open1514.68119MaRDI QIDQ6487301FDOQ6487301

Authors: Fabian Bauer-Marquart, Stefan Leue, Christian Schilling 

Publication date: 7 December 2022

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

Mathematics Subject Classification ID

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

Cites Work

• A simplicial homology algorithm for Lipschitz optimisation
• Deep learning
• Proving the Correctness of Multiprocess Programs
• Title not available (Why is that?)
• A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
• Safety verification of deep neural networks
• Reluplex: an efficient SMT solver for verifying 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)