3 citations · 3 across the 1 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2025★ 3 cited
Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
Luca Marzari, Ferdinando Cicalese, Alessandro Farinelli
We present robabilistically ightened near elaxation-based erturbation nalysis (), a nove…
cs.LG2025
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…
cs.LG2024
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…