Fairify: Fairness Verification of Neural Networks

8 December 2022

Papers citing "Fairify: Fairness Verification of Neural Networks"

8 / 8 papers shown

Title
FairSense: Long-Term Fairness Analysis of ML-Enabled Systems Yining She Sumon Biswas Christian Kastner Eunsuk Kang 50 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
Bias Testing and Mitigation in LLM-based Code Generation Dong Huang Qingwen Bu Jie M. Zhang Xiaofei Xie Junjie Chen Heming Cui 51 21 0 03 Sep 2023
Towards Understanding Fairness and its Composition in Ensemble Machine Learning Usman Gohar Sumon Biswas Hridesh Rajan FaML FedML 16 24 0 08 Dec 2022
Improving fairness in machine learning systems: What do industry practitioners need? Kenneth Holstein Jennifer Wortman Vaughan Hal Daumé Miroslav Dudík Hanna M. Wallach FaML HAI 195 742 0 13 Dec 2018
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
Fair prediction with disparate impact: A study of bias in recidivism prediction instruments Alexandra Chouldechova FaML 207 2,092 0 24 Oct 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016