Boosting robustness verification of semantic feature neighborhoods

DOI10.1007/978-3-031-22308-2_14zbMath1524.68319arXiv2209.05446MaRDI QIDQ6164433

Anan Kabaha, Dana Drachsler-Cohen

Publication date: 28 July 2023

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2209.05446

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Scalable polyhedral verification of recurrent neural networks
• Learning regular sets from queries and counterexamples
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Verification of deep convolutional neural networks using ImageStars
• An abstraction-based framework for neural network verification
• Principal Component Adversarial Example

This page was built for publication: Boosting robustness verification of semantic feature neighborhoods