量化程序偏差
Quantifying Program Bias
摘要：
随着算法决策的范围和灵敏度以极快的速度扩展，我们必须积极调查程序是否存在偏见。我们提出了一种新的概率程序分析技术，并将其应用于量化决策程序中的偏差。具体而言，我们（一）提出了一个健全的和完整的自动验证技术，证明定量属性的概率程序;（二）表明，某些偏见的概念，最近提出的公平性文献，可以措辞为定量的正确性属性;（三）目前FairSquare，第一个验证工具，量化程序偏差，并评估它的决策程序的范围。
英文摘要：
With the range and sensitivity of algorithmic decisions expanding at a break-neck speed, it is imperative that we aggressively investigate whether programs are biased. We propose a novel probabilistic program analysis technique and apply it to quantifying bias in decision-making programs. Specifically, we (i) present a sound and complete automated verification technique for proving quantitative properties of probabilistic programs; (ii) show that certain notions of bias, recently proposed in the fairness literature, can be phrased as quantitative correctness properties; and (iii) present FairSquare, the first verification tool for quantifying program bias, and evaluate it on a range of decision-making programs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
