14 citations · 25 across the 16 of their papers we have counts for
3 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…
Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation
Luca Marzari, Francesco Trotti, Enrico Marchesini +1
Achieving safe autonomous navigation systems is critical for deploying robots in dynamic and uncertain real-world environments. In this paper, we propose a hierarchical control fra…
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…