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

arXiv:2608.26209 · cs.SE, cs.AI, cs.LG · Submitted 2026-08-26 · Read on arXiv

cs.SE, cs.AI, cs.LG

Submitted: 2026-08-26

Updated: 2026-08-26

Code: https://github.com/propublica/compas-analysis

Terminology

• Benchmark — 15× in this paper · explained in 2 episodes
• Accuracy — 11× in this paper · explained in 1 episode
• Alignment — 9× in this paper · explained in 1 episode
• International Conference on Software Engineering — 9× in this paper
• Interpretability — 9× in this paper · explained in 15 episodes
• AUC — 6× in this paper · explained in 2 episodes
• Consistency — 4× in this paper · explained in 3 episodes
• Generalization — 4× in this paper · explained in 13 episodes
• Verification — 4× in this paper · explained in 2 episodes
• Data Augmentation — 3× in this paper · explained in 7 episodes
• F1 Score — 3× in this paper · explained in 3 episodes
• Ablation — 2× in this paper · explained in 1 episode
• Core — 2× in this paper · explained in 2 episodes
• Formal Methods — 2× in this paper · explained in 3 episodes
• International Conference on Automated Software Engineering — 2× in this paper
• Accountability — 1× in this paper · explained in 2 episodes
• Alignment Methods — 1× in this paper · explained in 1 episode
• Alignment Techniques — 1× in this paper · explained in 1 episode
• Amazon Web Services — 1× in this paper
• Area Under the Curve (AUC) — 1× in this paper · explained in 1 episode
• Benchmarking — 1× in this paper · explained in 3 episodes
• Calibration — 1× in this paper · explained in 7 episodes
• Dataset Curation With Horizontal Extension — 1× in this paper
• Dataset Curation With Vertical Extension — 1× in this paper
• Ensemble Approach — 1× in this paper · explained in 3 episodes
• Generalizability — 1× in this paper · explained in 6 episodes
• Generative Model — 1× in this paper · explained in 2 episodes
• Model-Agnostic — 1× in this paper · explained in 2 episodes
• Pruning — 1× in this paper · explained in 4 episodes
• Robustness — 1× in this paper · explained in 5 episodes

Sources

• Automated Test Generation to Detect Individual Discrimination in AI Models
• AI Fairness 360: An Extensible Toolkit for Detecting, Understanding, and Mitigating Unwanted Algorithmic Bias
• Software Engineering for Fairness: A Case Study with Hyperparameter Optimization
• Analyzing Fairness of Neural Network Prediction via Counterfactual Dataset Generation

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties