Backward Conformal Prediction¶
Authors: Etienne Gauthier, Francis Bach, Michael I. Jordan
Published: 2025 (Preprint)
Source: arXiv
Algorithm: Backward Conformal Prediction
arXiv: 2505.13732
Summary¶
Introduces a conformal prediction variant that begins from constraints on prediction-set size and then adapts the miscoverage level needed to preserve computable coverage guarantees. The paper combines post-hoc validity via e-values with a leave-one-out estimator, targeting settings where large conformal sets are practically unusable.
Abstract¶
We introduce $\textit{Backward Conformal Prediction}$, a method that guarantees conformal coverage while providing flexible control over the size of prediction sets. Unlike standard conformal prediction, which fixes the coverage level and allows the conformal set size to vary, our approach defines a rule that constrains how prediction set sizes behave based on the observed data, and adapts the coverage level accordingly. Our method builds on two key foundations: (i) recent results by Gauthier et al. [2025] on post-hoc validity using e-values, which ensure marginal coverage of the form $\mathbb{P}(Y_{\rm test} \in \hat C_n^{\tilde{\alpha}}(X_{\rm test})) \ge 1 - \mathbb{E}[\tilde{\alpha}]$ up to a first-order Taylor approximation for any data-dependent miscoverage $\tilde{\alpha}$, and (ii) a novel leave-one-out estimator $\hat{\alpha}^{\rm LOO}$ of the marginal miscoverage $\mathbb{E}[\tilde{\alpha}]$ based on the calibration set, ensuring that the theoretical guarantees remain computable in practice. This approach is particularly useful in applications where large prediction sets are impractical such as medical diagnosis. We provide theoretical results and empirical evidence supporting the validity of our method, demonstrating that it maintains computable coverage guarantees while ensuring interpretable, well-controlled prediction set sizes.
Links¶
Primary
Standard
Alternate
Tags¶
-
Backward conformal prediction
-
Conformal prediction
-
Prediction sets
-
Coverage guarantees
-
E-values
-
Leave-one-out estimation
-
Uncertainty quantification
-
Medical diagnosis