Group fairness: Group fairness considers notions like demographic parity [1]}, equality of odds, and equality of opportunity [2]}. Tools that verify notions of group fairness assume knowledge of a probabilistic model of the population. FairSquare [3]} relies on numerical integration to formally verify notions of group fairness; however, it does not scale well for NNs. VeriFair [4]} considers probabilistic verification using sampling and provides soundness guarantees using concentration inequalities. This approach is scalable to big networks, but it does not provide worst-case proof.
