DelBugV: Delta-Debugging Neural Network Verifiers

Raya Elsaleh, Guy Katz

Deep neural networks (DNNs) are becoming a key component in diverse systems across the board. However, despite their success, they often err miserably; and this has triggered signi…