4

Abstract Lipschitz Continuity

On Using Certified Training towards Empirical Robustness

An Abstract Interpretation-Based Data Leakage Static Analysis

Abstract Interpretation-Based Feature Importance for SVMs

Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations

A Review of Formal Methods applied to Machine Learning

Fair Training of Decision Tree Classifiers

What Programs Want: Automatic Inference of Input Data Specifications

Perfectly Parallel Fairness Certification of Neural Networks