Picture for Caterina Urban

Caterina Urban

On Using Certified Training towards Empirical Robustness

Add code
Oct 02, 2024
Figure 1 for On Using Certified Training towards Empirical Robustness
Figure 2 for On Using Certified Training towards Empirical Robustness
Figure 3 for On Using Certified Training towards Empirical Robustness
Figure 4 for On Using Certified Training towards Empirical Robustness
Viaarxiv icon

Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations

Add code
Jul 13, 2022
Figure 1 for Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
Figure 2 for Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
Figure 3 for Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
Figure 4 for Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
Viaarxiv icon

A Review of Formal Methods applied to Machine Learning

Add code
Apr 21, 2021
Figure 1 for A Review of Formal Methods applied to Machine Learning
Figure 2 for A Review of Formal Methods applied to Machine Learning
Figure 3 for A Review of Formal Methods applied to Machine Learning
Figure 4 for A Review of Formal Methods applied to Machine Learning
Viaarxiv icon

Fair Training of Decision Tree Classifiers

Add code
Jan 04, 2021
Figure 1 for Fair Training of Decision Tree Classifiers
Figure 2 for Fair Training of Decision Tree Classifiers
Figure 3 for Fair Training of Decision Tree Classifiers
Figure 4 for Fair Training of Decision Tree Classifiers
Viaarxiv icon