1: \begin{abstract}

2: Datasets can be biased due to societal inequities, human biases, under-representation of minorities, etc.

3: %

4: Our goal is to \emph{certify}

5: that models produced by a learning algorithm are \emph{pointwise-robust} to potential dataset biases.

6: %

7: This is a challenging problem: it entails learning models for a large, or even infinite, number of datasets, ensuring that they all produce the same prediction.

8: %

9: We focus on decision-tree learning due to the interpretable nature of the models.

10: %

11: Our approach allows programmatically specifying \emph{bias models} across a variety of dimensions (e.g., missing data for minorities), composing types of bias, and targeting bias towards a specific group.

12: %

13: To certify robustness, we use a novel symbolic technique to evaluate a decision-tree learner on a large, or infinite, number of datasets, certifying that each and every dataset produces the same prediction for a specific test point.

14: %

15: We evaluate our approach on datasets that are commonly used in the fairness literature,

16: and demonstrate our approach's viability on a range of bias models.

17: \end{abstract}

18: