Neural Network Verification Using Residual Reasoning

DOI10.1007/978-3-031-17108-6_11zbMath1525.68075arXiv2208.03083OpenAlexW4296964121MaRDI QIDQ6111608

Unnamed Author, Guy Katz, Yizhak Yisrael Elboher

Publication date: 4 August 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

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

zbMATH Keywords

verificationneural networksincremental reasoningabstraction refinementresidual reasoning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Safety verification of deep neural networks
• Reluplex: an efficient SMT solver for verifying deep neural networks
• An abstraction-based framework for neural network verification
• Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Neural Network Verification Using Residual Reasoning