Fairness as a Program Property

10/19/2016
by   Aws Albarghouthi, et al.
0

We explore the following question: Is a decision-making program fair, for some useful definition of fairness? First, we describe how several algorithmic fairness questions can be phrased as program verification problems. Second, we discuss an automated verification technique for proving or disproving fairness of decision-making programs with respect to a probabilistic model of the population.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset