Picture for Ferdinando Cicalese

Ferdinando Cicalese

Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations

Add code
Jul 10, 2024
Viaarxiv icon

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees

Add code
Aug 18, 2023
Viaarxiv icon

The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks

Add code
Jan 17, 2023
Viaarxiv icon

Decision Trees for Function Evaluation - Simultaneous Optimization of Worst and Expected Cost

Add code
Jul 26, 2014
Figure 1 for Decision Trees for Function Evaluation - Simultaneous Optimization of Worst and Expected Cost
Figure 2 for Decision Trees for Function Evaluation - Simultaneous Optimization of Worst and Expected Cost
Viaarxiv icon