Prediction without Preclusion: Recourse Verification with Reachable Sets

08/24/2023
by   Avni Kothari, et al.
0

Machine learning models are often used to decide who will receive a loan, a job interview, or a public benefit. Standard techniques to build these models use features about people but overlook their actionability. In turn, models can assign predictions that are fixed, meaning that consumers who are denied loans, interviews, or benefits may be permanently locked out from access to credit, employment, or assistance. In this work, we introduce a formal testing procedure to flag models that assign fixed predictions that we call recourse verification. We develop machinery to reliably determine if a given model can provide recourse to its decision subjects from a set of user-specified actionability constraints. We demonstrate how our tools can ensure recourse and adversarial robustness in real-world datasets and use them to study the infeasibility of recourse in real-world lending datasets. Our results highlight how models can inadvertently assign fixed predictions that permanently bar access, and we provide tools to design algorithms that account for actionability when developing models.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/14/2019

Predictive Multiplicity in Classification

In the context of machine learning, a prediction problem exhibits predic...
research
12/05/2021

Beyond Robustness: Resilience Verification of Tree-Based Classifiers

In this paper we criticize the robustness measure traditionally employed...
research
01/10/2022

Predictions of Reynolds and Nusselt numbers in turbulent convection using machine-learning models

In this paper, we develop a multivariate regression model and a neural n...
research
03/02/2022

Neuro-Symbolic Verification of Deep Neural Networks

Formal verification has emerged as a powerful approach to ensure the saf...
research
06/04/2022

When Personalization Harms: Reconsidering the Use of Group Attributes in Prediction

The standard approach to personalization in machine learning consists of...
research
09/18/2018

Actionable Recourse in Linear Classification

Classification models are often used to make decisions that affect human...
research
06/09/2021

The dilemma of quantum neural networks

The core of quantum machine learning is to devise quantum models with go...

Please sign up or login with your details

Forgot password? Click here to reset