Marzari, Luca

4 publications

JAIR 2025 Probabilistically Tightened Linear Relaxation-Based Perturbation Analysis for Neural Network Verification Luca Marzari, Ferdinando Cicalese, Alessandro Farinelli

IJCAI 2025 RobustX: Robust Counterfactual Explanations Made Easy Junqi Jiang, Luca Marzari, Aaryan Purohit, Francesco Leofante

AAAI 2024 Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese

IJCAI 2023 The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli