Justicia: A Stochastic SAT Approach to Formally Verify Fairness

14 September 2020

Papers citing "Justicia: A Stochastic SAT Approach to Formally Verify Fairness"

7 / 7 papers shown

Title
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks Luca Marzari Davide Corsi Ferdinando Cicalese Alessandro Farinelli AAML 23 16 0 17 Jan 2023
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 24 2 0 27 Sep 2022
Adaptive Fairness Improvement Based on Causality Analysis Mengdi Zhang Jun Sun 24 31 0 15 Sep 2022
Verifying Fairness in Quantum Machine Learning J. Guan Wang Fang Mingsheng Ying FaML 19 11 0 22 Jul 2022
A Survey on Bias and Fairness in Machine Learning Ninareh Mehrabi Fred Morstatter N. Saxena Kristina Lerman Aram Galstyan SyDa FaML 323 4,212 0 23 Aug 2019
Learning Certifiably Optimal Rule Lists for Categorical Data E. Angelino Nicholas Larus-Stone Daniel Alabi Margo Seltzer Cynthia Rudin 51 195 0 06 Apr 2017