Systematic generation of diverse benchmarks for DNN verification

DOI10.1007/978-3-030-53288-8_5MaRDI QIDQ2225080zbMATH OpenOpenAlexFDO

Authors Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian Elbaum

Publication date 4 February 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-53288-8_5

zbMATH Keywords

benchmarkcovering arrayneural networkverification

Mathematics Subject Classification ID

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

Recommendations

• Branch and bound for piecewise linear neural network verification
• Formal specification for deep neural networks
• Reluplex: a calculus for reasoning about deep neural networks
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Verifying Recurrent Neural Networks Using Invariant Inference

Cited in

(2)

• Abstract neural networks
• Verifying generalization in deep learning

This page was built for publication: Systematic generation of diverse benchmarks for DNN verification

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