Probabilistic Verification of Fairness Properties via Concentration

Probabilistic Verification of Fairness Properties via Concentration

2 December 2018

Armando Solar-Lezama

Papers citing "Probabilistic Verification of Fairness Properties via Concentration"

19 / 19 papers shown

Title
FairSHAP: Preprocessing for Fairness Through Attribution-Based Data Augmentation Lin Zhu Yijun Bian Lei You TDI 31 0 0 16 May 2025
FairSense: Long-Term Fairness Analysis of ML-Enabled Systems Yining She Sumon Biswas Christian Kastner Eunsuk Kang 55 0 0 03 Jan 2025
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 45 1 0 27 May 2024
Adversarial Sampling for Fairness Testing in Deep Neural Network Tosin Ige William Marfo Justin Tonkinson Sikiru Adewale Bolanle Hafiz Matti OOD 26 9 0 06 Mar 2023
Provable Fairness for Neural Network Models using Formal Verification Giorgian Borca-Tasciuc Xingzhi Guo Stanley Bak Steven Skiena 32 4 0 16 Dec 2022
Certifying Fairness of Probabilistic Circuits Nikil Selvam Guy Van den Broeck YooJung Choi FaML TPM 15 6 0 05 Dec 2022
Explainable Global Fairness Verification of Tree-Based Classifiers Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Federico Marcuzzi 40 2 0 27 Sep 2022
Verifying Fairness in Quantum Machine Learning J. Guan Wang Fang Mingsheng Ying FaML 24 11 0 22 Jul 2022
FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks Kiarash Mohammadi Aishwarya Sivaraman G. Farnadi 30 5 0 01 Jun 2022
Certifying Some Distributional Fairness with Subpopulation Decomposition Mintong Kang Linyi Li Maurice Weber Yang Liu Ce Zhang Bo Li OOD 61 15 0 31 May 2022
CertiFair: A Framework for Certified Global Fairness of Neural Networks Haitham Khedr Yasser Shoukry FedML 31 20 0 20 May 2022
Individual Fairness Guarantees for Neural Networks Elias Benussi A. Patané Matthew Wicker Luca Laurenti Marta Kwiatkowska University of Oxford 28 21 0 11 May 2022
Latent Space Smoothing for Individually Fair Representations Momchil Peychev Anian Ruoss Mislav Balunović Maximilian Baader Martin Vechev FaML 38 19 0 26 Nov 2021
Probabilistic Verification of Neural Networks Against Group Fairness Bing-Jie Sun Jun Sun Ting Dai Lijun Zhang AAML 21 22 0 18 Jul 2021
Trustworthy AI: A Computational Perspective Haochen Liu Yiqi Wang Wenqi Fan Xiaorui Liu Yaxin Li Shaili Jain Yunhao Liu Anil K. Jain Jiliang Tang FaML 104 197 0 12 Jul 2021
Fair Normalizing Flows Mislav Balunović Anian Ruoss Martin Vechev AAML 24 36 0 10 Jun 2021
Verifying Individual Fairness in Machine Learning Models Philips George John Deepak Vijaykeerthy Diptikalyan Saha FaML 27 57 0 21 Jun 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016