2 citations · 2 across the 2 of their papers we have counts for
4 papers
Abstract Interpretation-Based Feature Importance for SVMs
Abhinandan Pal, Francesco Ranzato, Caterina Urban +1
We propose a symbolic representation for support vector machines (SVMs) by means of abstract interpretation, a well-known and successful technique for designing and implementing st…
Fair Training of Decision Tree Classifiers
Francesco Ranzato, Caterina Urban, Marco Zanella
We study the problem of formally verifying individual fairness of decision tree ensembles, as well as training tree models which maximize both accuracy and individual fairness. In…
Genetic Adversarial Training of Decision Trees
Francesco Ranzato, Marco Zanella
We put forward a novel learning methodology for ensembles of decision trees based on a genetic algorithm which is able to train a decision tree for maximizing both its accuracy and…
Robustness Verification of Support Vector Machines
Francesco Ranzato, Marco Zanella
We study the problem of formally verifying the robustness to adversarial examples of support vector machines (SVMs), a major machine learning model for classification and regressio…