paper-with-me

Papers

Prediction without Preclusion: Recourse Verification with Reachable Sets

2023-08-24 · Avni Kothari, Bogdan Kulynych, Tsui-Wei Weng, Berk Ustun

Machine learning models are often used to decide who receives a loan, a job interview, or a public benefit. Models in such settings use features without considering their actionability. As a result, they can assign predictions that are fixed $-$ meaning that individuals who are denied loans and interviews are, in fact, precluded from access to credit and employment. In this work, we introduce a procedure called recourse verification to test if a model assigns fixed predictions to its decision subjects. We propose a model-agnostic approach for recourse verification with reachable sets $-$ i.e., the set of all points that a person can reach through their actions in feature space. We develop methods to construct reachable sets for discrete feature spaces, which can certify the responsiveness of any model by simply querying its predictions. We conduct a comprehensive empirical study on the infeasibility of recourse on datasets from consumer finance. Our results highlight how models can inadvertently preclude access by assigning fixed predictions and underscore the need to account for actionability in model development.

📄 PDF Abstract BibTeX arXiv:2308.12820

Code (2)

ustunb/reach-ml 공식 구현
ustunb/reachml

Tasks

Adversarial RobustnessPrediction

Similar Papers 제목 키워드 기반

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction

2023-12-14 · Albert Lin, Somil Bansal

Learning-based approaches for controlling safety-critical systems are rapidly growing in popularity; thus, it is important to assure their performance and safety. Hamilton-Jacobi (HJ) reachability analysis is a popular f…

Collision AvoidanceConformal PredictionUncertainty Quantification

RecourseBench: A Modular Framework for Reproducible Algorithmic Recourse Evaluation

2026-06-15 · Zahra Khotanlou, Hashir Ahmed, Chenghao Tan, Ahmed Abdelaal 외 arxiv

Algorithmic recourse methods provide counterfactual explanations that inform individuals of the actions required to overturn an unfavorable model decision. Despite rapid methodological progress, principled comparison rem…

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees

2026-01-03 · Devesh Nath, Haoran Yin, Glen Chou arxiv

We propose a scalable reachability-based framework for probabilistic, data-driven safety verification of unknown nonlinear dynamics. We use Koopman theory with a neural network (NN) lifting function to learn an approxima…

Computational Efficiency

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks

2017-08-09 · Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

In this paper, the output reachable estimation and safety verification problems for multi-layer perceptron neural networks are addressed. First, a conception called maximum sensitivity in introduced and, for a class of m…

Sensitivity

Reachable Polyhedral Marching (RPM): A Safety Verification Algorithm for Robotic Systems with Deep Neural Network Components

2020-11-23 · Joseph A. Vincent, Mac Schwager

We present a method for computing exact reachable sets for deep neural networks with rectified linear unit (ReLU) activation. Our method is well-suited for use in rigorous safety analysis of robotic perception and contro…