Gang Tan

Fairness Invariants: A Relational Approach to Explaining and Mitigating Fairness Bugs

Data-driven software systems are increasingly deployed in high-stakes socio-economic domains, from criminal justice to financial lending. However, these systems often exhibit individual discrimination—unjustified disparities in which a program yields different outcomes for simila...