What-is and how-to for fairness in machine learning: A survey, reflection, and perspective

Z Tang, J Zhang, K Zhang - ACM Computing Surveys, 2023 - dl.acm.org
We review and reflect on fairness notions proposed in machine learning literature and make
an attempt to draw connections to arguments in moral and political philosophy, especially …

When to trust AI: advances and challenges for certification of neural networks

M Kwiatkowska, X Zhang - 2023 18th Conference on Computer …, 2023 - ieeexplore.ieee.org
Artificial intelligence (AI) has been advancing at a fast pace and it is now poised for
deployment in a wide range of applications, such as autonomous systems, medical …

When deep learning meets polyhedral theory: A survey

J Huchette, G Muñoz, T Serra, C Tsay - arXiv preprint arXiv:2305.00241, 2023 - arxiv.org
In the past decade, deep learning became the prevalent methodology for predictive
modeling thanks to the remarkable accuracy of deep neural networks in tasks such as …

Certification of distributional individual fairness

M Wicker, V Piratla, A Weller - Advances in Neural …, 2023 - proceedings.neurips.cc
Providing formal guarantees of algorithmic fairness is of paramount importance to socially
responsible deployment of machine learning algorithms. In this work, we study formal …

Robust explanation constraints for neural networks

M Wicker, J Heo, L Costabello, A Weller - arXiv preprint arXiv:2212.08507, 2022 - arxiv.org
Post-hoc explanation methods are used with the intent of providing insights about neural
networks and are sometimes said to help engender trust in their outputs. However, popular …

Certifair: A framework for certified global fairness of neural networks

H Khedr, Y Shoukry - Proceedings of the AAAI Conference on Artificial …, 2023 - ojs.aaai.org
We consider the problem of whether a Neural Network (NN) model satisfies global individual
fairness. Individual Fairness (defined in (Dwork et al. 2012)) suggests that similar individuals …

Reglo: Provable neural network repair for global robustness properties

F Fu, Z Wang, W Zhou, Y Wang, J Fan… - Proceedings of the …, 2024 - ojs.aaai.org
We present REGLO, a novel methodology for repairing pretrained neural networks to satisfy
global robustness and individual fairness properties. A neural network is said to be globally …

BNN-DP: robustness certification of Bayesian neural networks via dynamic programming

S Adams, A Patane, M Lahijanian… - … on Machine Learning, 2023 - proceedings.mlr.press
In this paper, we introduce BNN-DP, an efficient algorithmic framework for analysis of
adversarial robustness of Bayesian Neural Networks (BNNs). Given a compact set of input …

Causal Adversarial Perturbations for Individual Fairness and Robustness in Heterogeneous Data Spaces

AR Ehyaei, K Mohammadi, AH Karimi… - Proceedings of the …, 2024 - ojs.aaai.org
As responsible AI gains importance in machine learning algorithms, properties like fairness,
adversarial robustness, and causality have received considerable attention in recent years …

Procedural fairness in machine learning

Z Wang, C Huang, X Yao - arXiv preprint arXiv:2404.01877, 2024 - arxiv.org
Fairness in machine learning (ML) has received much attention. However, existing studies
have mainly focused on the distributive fairness of ML models. The other dimension of …