Probabilistic Verification of Fairness Properties via Concentration

2 December 2018

Papers citing "Probabilistic Verification of Fairness Properties via Concentration"

20 / 20 papers shown

Title
FairSense: Long-Term Fairness Analysis of ML-Enabled Systems Yining She Sumon Biswas Christian Kastner Eunsuk Kang 90 0 0 03 Jan 2025
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 70 1 0 27 May 2024
Static Analysis for Probabilistic Programs Ryan Bernstein TPM 47 20 0 10 Sep 2019
Certified Defenses against Adversarial Examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 105 967 0 29 Jan 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 75 117 0 20 Nov 2017
Fast MCMC sampling algorithms on polytopes Yuansi Chen Raaz Dwivedi Martin J. Wainwright Bin Yu 37 67 0 23 Oct 2017
Fairness Testing: Testing Software for Discrimination Sainyam Galhotra Yuriy Brun A. Meliou 60 378 0 11 Sep 2017
Avoiding Discrimination through Causal Reasoning Niki Kilbertus Mateo Rojas-Carulla Giambattista Parascandolo Moritz Hardt Dominik Janzing Bernhard Schölkopf FaML CML 103 581 0 08 Jun 2017
Fair Inference On Outcomes Razieh Nabi I. Shpitser FaML 49 351 0 29 May 2017
A Neural Representation of Sketch Drawings David R Ha Douglas Eck 87 867 0 11 Apr 2017
Counterfactual Fairness Matt J. Kusner Joshua R. Loftus Chris Russell Ricardo M. A. Silva FaML 209 1,576 0 20 Mar 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 301 1,865 0 03 Feb 2017
Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment Muhammad Bilal Zafar Isabel Valera Manuel Gomez Rodriguez Krishna P. Gummadi FaML 184 1,205 0 26 Oct 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 200 938 0 21 Oct 2016
Equality of Opportunity in Supervised Learning Moritz Hardt Eric Price Nathan Srebro FaML 211 4,301 0 07 Oct 2016
Inherent Trade-Offs in the Fair Determination of Risk Scores Jon M. Kleinberg S. Mullainathan Manish Raghavan FaML 99 1,768 0 19 Sep 2016
Measuring Neural Net Robustness with Constraints Osbert Bastani Yani Andrew Ioannou Leonidas Lampropoulos Dimitrios Vytiniotis A. Nori A. Criminisi AAML 69 423 0 24 May 2016
A Confidence-Based Approach for Balancing Fairness and Accuracy Benjamin Fish Jeremy Kun Á. Lelkes FaML 189 248 0 21 Jan 2016
Explaining and Harnessing Adversarial Examples Ian Goodfellow Jonathon Shlens Christian Szegedy AAML GAN 245 19,017 0 20 Dec 2014
Certifying and removing disparate impact Michael Feldman Sorelle A. Friedler John Moeller C. Scheidegger Suresh Venkatasubramanian FaML 185 1,984 0 11 Dec 2014