research
∙
11/29/2022
Abstract Interpretation-Based Data Leakage Static Analysis
Data leakage is a well-known problem in machine learning. Data leakage o...
share
research
∙
10/22/2022
Abstract Interpretation-Based Feature Importance for SVMs
We propose a symbolic representation for support vector machines (SVMs) ...
research
∙
07/13/2022
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
It is known that deep neural networks (DNNs) classify an input image by ...
research
∙
04/06/2021
A Review of Formal Methods applied to Machine Learning
We review state-of-the-art formal methods applied to the emerging field ...
research
∙
01/04/2021
Fair Training of Decision Tree Classifiers
We study the problem of formally verifying individual fairness of decisi...
research
∙
07/21/2020
What Programs Want: Automatic Inference of Input Data Specifications
Nowadays, as machine-learned software quickly permeates our society, we ...
research
∙
12/05/2019
Perfectly Parallel Fairness Certification of Neural Networks
Recently, there is growing concern that machine-learning models, which c...
research
∙
04/11/2018
