66 citations · 204 across the 20 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
Luca Marzari, Davide Corsi, Enrico Marchesini +2
Identifying safe areas is a key point to guarantee trust for systems that are based on Deep Neural Networks (DNNs). To this end, we introduce the AllDNN-Verification problem: given…
cs.AI2023★ 2 cited
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks
Luca Marzari, Davide Corsi, Ferdinando Cicalese +1
Deep Neural Networks are increasingly adopted in critical tasks that require a high level of safety, e.g., autonomous driving. While state-of-the-art verifiers can be employed to c…