14 citations · 25 across the 16 of their papers we have counts for
5 papers · 1 filter
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
Luca Marzari, Manuele Bicego, Ferdinando Cicalese +1
Although recent provable methods have been developed to compute preimage bounds for neural networks, their scalability is fundamentally limited by the #P-hardness of the problem. I…
RobustX: Robust Counterfactual Explanations Made Easy
Junqi Jiang, Luca Marzari, Aaryan Purohit +1
The increasing use of Machine Learning (ML) models to aid decision-making in high-stakes industries demands explainability to facilitate trust. Counterfactual Explanations (CEs) ar…
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations
Luca Marzari, Francesco Leofante, Ferdinando Cicalese +1
We study the problem of assessing the robustness of counterfactual explanations for deep learning models. We focus on altering model parameters an…
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Tianhao Wei, Hanjiang Hu, Luca Marzari +4
Deep Neural Networks (DNN) are crucial in approximating nonlinear functions across diverse applications, ranging from image classification to control. Verifying specific input-outp…
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…