Architecture-Preserving Provable Repair of Deep Neural Networks

Deep neural networks (DNNs) are becoming increasingly important components of software, and are considered the state-of-the-art solution for a number of problems, such as image recognition. However, DNNs are far from infallible, and incorrect behavior of DNNs can have disastrous real-world consequen...

Full description

Bibliographic Details

Main Authors:	Tao, Zhe, Nawas, Stephanie, Mitchell, Jacqueline, Thakur, Aditya V.
Format:	Article
Published:	2023
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2304.03496 http://arxiv.org/abs/2304.03496
Tags:	Add Tag No Tags, Be the first to tag this record!