119 citations · 468 across the 39 of their papers we have counts for
Showing 2023 · cs.LOShow all
3 papers · 2 filters
cs.LO2023
Towards a Certified Proof Checker for Deep Neural Network Verification
Remi Desmartin, Omri Isac, Grant Passmore +3
Recent developments in deep neural networks (DNNs) have led to their adoption in safety-critical systems, which in turn has heightened the need for guaranteeing their safety. These…
cs.LO2023
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…
cs.LO2023
DNN Verification, Reachability, and the Exponential Function Problem
Omri Isac, Yoni Zohar, Clark Barrett +1
Deep neural networks (DNNs) are increasingly being deployed to perform safety-critical tasks. The opacity of DNNs, which prevents humans from reasoning about them, presents new saf…