Active, anytime-valid risk controlling prediction sets
This work addresses the need for rigorous safety assurances in machine learning deployments, particularly for critical applications where data is collected adaptively, though it is incremental as it builds on existing RCPS methods.
The paper tackles the problem of providing statistical safety guarantees for black-box machine learning models in sequential and adaptive data settings, extending risk controlling prediction sets to ensure anytime-valid risk guarantees and incorporating active labeling with a budget constraint, resulting in empirical improvements such as using fewer labels to achieve higher utility compared to baselines.
Rigorously establishing the safety of black-box machine learning models concerning critical risk measures is important for providing guarantees about model behavior. Recently, Bates et. al. (JACM '24) introduced the notion of a risk controlling prediction set (RCPS) for producing prediction sets that are statistically guaranteed low risk from machine learning models. Our method extends this notion to the sequential setting, where we provide guarantees even when the data is collected adaptively, and ensures that the risk guarantee is anytime-valid, i.e., simultaneously holds at all time steps. Further, we propose a framework for constructing RCPSes for active labeling, i.e., allowing one to use a labeling policy that chooses whether to query the true label for each received data point and ensures that the expected proportion of data points whose labels are queried are below a predetermined label budget. We also describe how to use predictors (i.e., the machine learning model for which we provide risk control guarantees) to further improve the utility of our RCPSes by estimating the expected risk conditioned on the covariates. We characterize the optimal choices of label policy and predictor under a fixed label budget and show a regret result that relates the estimation error of the optimal labeling policy and predictor to the wealth process that underlies our RCPSes. Lastly, we present practical ways of formulating label policies and empirically show that our label policies use fewer labels to reach higher utility than naive baseline labeling strategies on both simulations and real data.