FairSquare: Probabilistic Verification of Program Fairness
FairSquare: Probabilistic Verification of Program Fairness
复制标题
DOI：
10.1145/3133904
复制
发表时间：
2017-10-01
影响因子：
1.8
通讯作者：
Nori, Aditya, V
中科院分区：
文献类型：
--
作者：
Albarghouthi, Aws;D'Antoni, Loris;Nori, Aditya, V
随着算法决策的范围和敏感性以突破性的速度扩大，我们必须积极研究决策计划中的公平和偏见。首先，我们表明，最近提出的公平性形式定义可以编码为概率的程序属性。其次，为了实现关于公平性的严格推理，我们设计了一种新型技术，用于验证概率属性，以承认广泛的决策计划。第三，我们介绍FairSquare，这是自动证明程序符合给定的公平属性的第一个验证工具。我们在一系列决策计划中评估Fairsquare。我们的评估表明，FairSquare有能力验证一系列不同程序的公平性，我们证明这对于最先进的程序分析技术是不足的。
With the range and sensitivity of algorithmic decisions expanding at a break-neck speed, it is imperative that we aggressively investigate fairness and bias in decision-making programs. First, we show that a number of recently proposed formal definitions of fairness can be encoded as probabilistic program properties. Second, with the goal of enabling rigorous reasoning about fairness, we design a novel technique for verifying probabilistic properties that admits a wide class of decision-making programs. Third, we present FairSquare, the first verification tool for automatically certifying that a program meets a given fairness property. We evaluate FairSquare on a range of decision-making programs. Our evaluation demonstrates FairSquare's ability to verify fairness for a range of different programs, which we show are out-of-reach for state-of-the-art program analysis techniques.