Lune

NeurIPS2025Top-tier venue

Backward Conformal Prediction

Etienne Gauthier, Francis Bach, Michael I. Jordan

2025Year
19Citations
6Top-tier citations

Abstract

We introduce Backward Conformal Prediction\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 P(Ytest∈C^nα~(Xtest))≥1−E[α~]\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 α^LOO\hat{\alpha}^{\rm LOO} of the marginal miscoverage E[α~]\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.

Ask about this paper

Your agent reads all of it.

Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

lune papers fulltext 9e4f6e2d-6801-4eec-adc3-d45f52243110

Cited by top-tier papers6

Ask how each one uses it

Builds on8

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines