14 citations · 25 across the 16 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
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…
cs.LG2024
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…
cs.AI2024
Improving Policy Optimization via -Retrain
Luca Marzari, Priya L. Donti, Changliu Liu +1
We present -retrain, an exploration strategy encouraging a behavioral preference while optimizing policies with monotonic improvement guarantees. To this end, we intro…