Skip to content
conftrace_

fairness verification

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

individual fairness (2) algorithmic fairness (2) neural network repair (1) counterexample-guided search (1) satisfiability modulo convex (1) sensitivity neuron (1) classifier bia (1) disparate impact (1) neural network (1) model repair (1)

Papers

Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming IJCAI 2025 DeepGemini: Verifying Dependency Fairness for Deep Neural Network AAAI 2023 Algorithmic Fairness Verification with Graphical Models AAAI 2022 Justicia: A Stochastic SAT Approach to Formally Verify Fairness AAAI 2021 Verifying Individual Fairness in Machine Learning Models UAI 2020