Static Analysis

We proposed Fairify, an approach to make individual fairness verification tractable for the developers. The key idea is that many neurons in the NN always remain inactive when a smaller part of the input domain is considered. So, Fairify leverages white-box access to the models in production and then apply formal analysis based pruning.

This tutorial demonstrates how to setup Boa on local machine and generate new GitHub dataset. It includes a screencast to go over the steps.