Abstract neural networks
From MaRDI portal
Publication:2233525
DOI10.1007/978-3-030-65474-0_4zbMath1474.68193arXiv2009.05660OpenAlexW3127585016MaRDI QIDQ2233525
Aditya V. Thakur, Matthew Sotoudeh
Publication date: 18 October 2021
Full work available at URL: https://arxiv.org/abs/2009.05660
Artificial neural networks and deep learning (68T07) Specification and verification (program logics, model checking, etc.) (68Q60) Networks and circuits as models of computation; circuit complexity (68Q06)
Related Items (3)
Bisimulations for neural network reduction ⋮ \textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks ⋮ A domain-theoretic framework for robustness analysis of neural networks
Cites Work
- Unnamed Item
- The octagon abstract domain
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Systematic generation of diverse benchmarks for DNN verification
- Automating Abstract Interpretation
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation
- Tools and Algorithms for the Construction and Analysis of Systems
- Making abstract interpretations complete
- Symbolic optimization with SMT solvers
This page was built for publication: Abstract neural networks
