Pith. sign in

REVIEW 1 cited by

A Few Observations on Sample-Conditional Coverage in Conformal Prediction

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2503.00220 v1 pith:K7XN75TK submitted 2025-02-28 math.ST stat.TH

classification math.STstat.TH
keywords conditionalcoveragepredictiveconformalguaranteemethodssomevalidation
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We revisit the problem of constructing predictive confidence sets for which we wish to obtain some type of conditional validity. We provide new arguments showing how ``split conformal'' methods achieve near desired coverage levels with high probability, a guarantee conditional on the validation data rather than marginal over it. In addition, we directly consider (approximate) conditional coverage, where, e.g., conditional on a covariate $X$ belonging to some group of interest, we would like a guarantee that a predictive set covers the true outcome $Y$. We show that the natural method of performing quantile regression on a held-out (validation) dataset yields minimax optimal guarantees of coverage here. Complementing these positive results, we also provide experimental evidence that interesting work remains to be done to develop computationally efficient but valid predictive inference methods.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Distribution free M-estimation

    math.ST 2025-05 accept novelty 8.0 of 10

    Distribution-free minimization of a convex loss is possible exactly when the loss is uniformly Lipschitz on compact subsets, plus a boundedness condition when the parameter space is unbounded.

Pith tools