Conformal Risk Control
Open accessAbstract
We extend conformal prediction to control the expected value of any monotone loss function. The algorithm generalizes split conformal prediction together with its coverage guarantee. Like conformal prediction, the conformal risk control procedure is tight up to an $\mathcal{O}(1/n)$ factor. We also introduce extensions of the idea to distribution shift, quantile risk control, multiple and adversarial risk control, and expectations of U-statistics. Worked examples from computer vision and natural language processing demonstrate the usage of our algorithm to bound the false negative rate, graph distance, and token-level F1-score.
AI snapshot
Written from the paper’s full text.
TL;DR
The paper extends conformal prediction to control the expected value of any monotone loss, calling the procedure conformal risk control. It provides finite-sample risk guarantees, a lower bound showing tightness up to \(O(1/n)\), extensions to distribution shift, quantile, multiple, adversarial, and U-statistic risks, and worked examples in vision and NLP.
Key findings
- Conformal risk control chooses \(\hat\lambda\) from calibration data so that \(\mathbb{E}[L_{n+1}(\hat\lambda)] \le \alpha\) for non-increasing, right-continuous losses, recovering split conformal prediction when the loss is miscoverage.
- The procedure is tight up to a factor \(2B/(n+1)\) under continuity assumptions; for conformal prediction this gives \(P(Y_{n+1}\notin C_{\hat\lambda}(X_{n+1})) \ge \alpha - 2/(n+1)\), slightly worse than the known \(1/(n+1)\) constant.
- If losses are non-monotone, the algorithm does not control risk; the paper gives a counterexample where the expectation can be arbitrarily close to \(B\).
- Empirical examples report mean risks near target \(\alpha\): tumor segmentation FNR \(0.0987 \pm 0.0114\) at \(\alpha=0.1\); MS COCO FNR \(0.0996 \pm 0.0052\) at \(\alpha=0.1\); hierarchical ImageNet graph distance \(0.0499 \pm 0.0011\) at \(\alpha=0.05\); Natural Questions F1 risk \(0.2996 \pm 0.0150\) at \(\alpha=0.3\).
Methods
- Design: theoretical extension of split conformal prediction to monotone loss functions, with proofs of risk control, a lower bound, and extensions to distribution shift, quantile risk, multiple risks, adversarial risks, and U-statistics.
- Data and sample: four worked examples—tumor segmentation using pooled Kvasir, Hyper-Kvasir, CVC-ColonDB, CVC-ClinicDB, and ETIS-Larib with PraNet, \(n=1000\), 781 validation points; MS COCO multilabel classification with TResNet, \(n=4000\), 1000 validation points; hierarchical ImageNet with ResNet152, \(n=30000\), 20000 validation points; Natural Questions open-domain QA with DPR Retriever-Reader, \(n=2500\), 1110 validation points.
- Main analysis: for each task, choose \(\hat\lambda\) by the conformal risk control rule and evaluate risk and set size over 1000 independent random data splits.
Limitations
- The paper states that the algorithm does not control risk for non-monotone losses; a monotonization procedure gives asymptotic control, but finite-sample control for that procedure is unknown.
- The paper states that the factor of 2 in the lower bound may not be tight and that its tightness remains an open question.
- The paper leaves full investigation of weighted conformal risk control with an estimated covariate shift for future research, and notes it is unclear whether more general quantile-based risks such as CVaR can be controlled unconditionally.
- Evident from the text: the empirical validation is limited to four illustrative tasks with specific models, datasets, and chosen \(\alpha\) values, including \(\alpha=0.3\) chosen empirically for Natural Questions.
Model-written summary. Check it against the paper before relying on it.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
2 of 11 cited sources checked · 1 supported · 0 flagged · accuracy not yet measured
- Findingreasoning§ 4.1 Risk control under distributional shift · p. 10
In the covariate shift setting with transductive learning, risk control can be achieved even when the weight w is unbounded.
“In this case, we can achieve the risk control even when w is unbounded.”
Quote in the paperSubstantial claim- The authors state this as an assumption: The conditional distribution of Y given X remains the same in the training and test domains.
- The authors state this as an assumption: L_i ∈ [0,B] for all i.
- Findingreasoning§ 4.1 Risk control under distributional shift · p. 10
Under distributional shift, if P_test is absolutely continuous with respect to P_train, the weighted objective (9) can be rewritten as (10).
“Assuming that P test is absolutely continuous with respect to P train , the weighted objective (9) can be rewritten as”
Quote in the paperSubstantial claim- The authors state this as an assumption: P_test is absolutely continuous with respect to P_train.
- Findingreasoning§ 4.1 Risk control under distributional shift · p. 10
When the covariate shift weight w is known and bounded, applying the conformal risk control procedure on the weighted loss ̃L_{n+1}(λ)=w(X_{n+1},Y_{n+1})L_{n+1}(λ) yields a λ that satisfies the risk-control guarantee (10).
“When w is known and bounded, we can apply our procedure on the loss function ˜ L n +1 ( λ ) = w ( X n +1 , Y n +1 ) L n +1 ( λ ), which is non-decreasing, bounded, and right-continuous in λ whenever L n +1 is. Thus, Theorem 1 guarantees that the resulting ˆ λ satisfies (10).”
Quote in the paperSubstantial claim - Findingnone given§ 4.3 Controlling multiple risks · p. 11
Proposition 5: In the setting of Theorem 1, the multiple-risk control guarantee (12) is satisfied.
“Proposition 5. In the setting of Theorem 1, (12) is satisfied.”
Quote in the paperNot a substantial claim - Findingreasoning§ 4.3 Controlling multiple risks · p. 11
The worst-case risk over a family of loss functions indexed by γ can still be controlled.
“Though the above worst-case risk is not an expectation, it can still be controlled.”
Quote in the paperSubstantial claim
- Findingreasoning§ B Proofs · p. 15
Lemma 1 (Jump Lemma): In the setting of Theorem 2, any jumps in the empirical risk are bounded.
“Lemma 1 (Jump Lemma) . In the setting of Theorem 2, any jumps in the empirical risk are bounded, i.e.,”
Quote in the paperSubstantial claim- The authors state this as an assumption: P(J(L_i,λ) > 0) = 0.
- Findingreasoning§ Total variation bound · p. 10
For arbitrary distribution shifts, standard (unweighted) conformal risk control degrades according to a total variation bound given in Proposition 3.
“Finally, for arbitrary distribution shifts, we give a total variation bound describing the way standard (unweighted) conformal risk control degrades.”
Quote in the paperSubstantial claim - Findingreasoning§ 4.2 Quantile risk control · p. 11
Proposition 4: In the setting of Theorem 1, the quantile risk control guarantee (11) is achieved.
“Proposition 4. In the setting of Theorem 1, (11) is achieved.”
Quote in the paperSubstantial claim - Findingnone given§ 2.4 Controlling general loss functions · p. 5
If the loss function is already monotone, then the monotonized parameter λ̃ reduces to λ̂.
“If the loss function is already monotone, then ˜ λ reduces to ˆ λ .”
Quote in the paperNot a substantial claim - Findingreasoning§ 4.4 Adversarial risks · p. 12
Proposition 6: In the setting of Theorem 1, the adversarial risk control guarantee (14) is satisfied.
“Proposition 6. In the setting of Theorem 1, (14) is satisfied.”
Quote in the paperSubstantial claim - Findingreasoning§ A Monotonizing non-monotone risks · p. 15
Taking ̃λ↑ as defined also results in asymptotic risk control.
“In particular, taking”
- Also stated in: § A Monotonizing non-monotone risks · p. 15 · plain
“also results in asymptotic risk control (to see this, plug ˜ λ ↑ into Theorem A.1 and see that the risk level is bounded above by α -B n +1 ).”
Quote in the paperSubstantial claim - Also stated in: § A Monotonizing non-monotone risks · p. 15 · plain
- Findingreasoning§ 4.2 Quantile risk control · p. 11
Quantile risk control is equivalent to expected risk control (3) with loss function ̃L_i(λ)=1{L_i(λ)>α}.
“By definition, ✶ As a consequence, quantile risk control is equivalent to expected risk control (3) with loss function ˜ L i ( λ ) = ✶ { L i ( λ ) > α } .”
Quote in the paperSubstantial claim - Interpretationreasoning§ 1 Introduction · p. 2
Setting α=0.1 ensures that the algorithm produces sets containing at least 90% of the true classes in Y_{n+1} on average in multilabel classification.
“Setting α = 0 . 1 would ensure that our algorithm produces sets C ˆ λ ( X n +1 ) containing ≥ 90% of the true classes in Y n +1 on average.”
Quote in the paperSubstantial claim - Interpretationreasoning§ 2.3 Conformal prediction reduces to risk control · p. 4
The conformal risk control procedure specializes to conformal prediction under the miscoverage loss.
“The conformal risk control procedure specializes to conformal prediction under this loss function as well.”
- Also stated in: § 2.3 Conformal prediction reduces to risk control · p. 4 · plain
“Conformal prediction can be thought of as controlling the expectation of an indicator loss function.”
Quote in the paperSubstantial claim - Also stated in: § 2.3 Conformal prediction reduces to risk control · p. 4 · plain
- Premisecitation§ 4.1 Risk control under distributional shift · p. 10
When the covariate shift w(x) is unknown but unlabeled data in the test domain are available, it can be estimated, up to a multiplicative factor that does not affect ˆλ(x), by any probabilistic classification algorithm.
“When the covariate shift w ( x ) is unknown but unlabeled data in the test domain are available, it can be estimated, up to a multiplicative factor that does not affect ˆ λ ( x ), by any probabilistic classification algorithm; see [37] and [38] in the context of missing and censored data, respectively.”
Quote in the paperNot a substantial claim0 of 2 sources checked- cites [37] [37] L. Lei and E. J. Cand` es, 'Conformal inference of counterfactuals and individual treatment effects,' 2020. -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [38] [38] E. Cand` es, L. Lei, and Z. Ren, 'Conformalized survival analysis,' Journal of the Royal Statistical Society Series B: Statistical Methodology , vol. 85, no. 1, pp. 24-45, 2023. -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Premisecitation§ 1.2 Related work · p. 2
Using a uniform concentration inequality to get a bound in expectation tends to be excessively loose both in theory and in practice.
“this strategy tends to be excessively loose both in theory and in practice (see, e.g., the bound of [27]).”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [27] [27] M. Anthony and J. Shawe-Taylor, 'A result of vapnik with applications,' Discrete Applied Mathematics , vol. 47, no. 3, pp. 207-217, 1993. -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Interpretationreasoning§ 3.2 FNR control in multilabel classification · p. 6
The procedure controls the false negative rate on a new point in multilabel classification.
“By Theorem 1, picking ˆ λ as in (4) again yields the FNR-control guarantee in (8).”
Quote in the paperSubstantial claim - Interpretationreasoning§ 3.1 FNR control in tumor segmentation · p. 5
The procedure controls the false negative rate on a new point in tumor segmentation.
“Thus, we use the technique in Section 2.1 to pick ˆ λ by (4) that controls the FNR on a new point, resulting in the following guarantee:”
Quote in the paperSubstantial claim - Interpretationreasoning§ 4.1 Risk control under distributional shift · p. 10
Proposition 2 generalizes the weighted conformal procedure [9] to any monotone risk.
“It is easy to show that the weighted conformal procedure [9] is a special case with L i ( λ ) = ✶ { Y i ̸∈ C λ ( X i ) } where C λ ( X i ) is the prediction set that thresholds the conformity score at λ . Thus, Proposition 2 generalizes [9] to any monotone risk.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [9] [9] R. J. Tibshirani, R. Foygel Barber, E. Candes, and A. Ramdas, 'Conformal prediction under covariate shift,' in Advances in Neural Information Processing Systems , vol. 32, 2019, pp. 2530-2540. -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Interpretationreasoning§ A Monotonizing non-monotone risks · p. 15
Theorem A.1 implies that an analogous procedure to 4 also controls the risk asymptotically.
“Theorem A.1 implies that an analogous procedure to 4 also controls the risk asymptotically.”
Quote in the paperSubstantial claim - Premisecitation§ 2.3 Conformal prediction reduces to risk control · p. 4
In the setting of conformal prediction, [8] proves that P(Y_{n+1} ∉ C_{λ̂}(X_{n+1})) ≥ α - 1/(n+1) when the conformal score function follows a continuous distribution.
“In the setting of conformal prediction, [8] proves that P ( Y n +1 / ∈ C ˆ λ ( X n +1 )) ≥ α -1 / ( n + 1) when the conformal score function follows a continuous distribution.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [8] [8] J. Lei, M. G'Sell, A. Rinaldo, R. J. Tibshirani, and L. Wasserman, 'Distribution-free predictive inference for regression,' Journal of the American Statistical Association , vol. 113, no. 523, pp. 1094-1111, 2018. -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- May combine two claims. 18
- Classified as probably not a substantial claim. 7
- The quote only partly states this claim. 9
May combine two claims.
Interpretationnone given§ 1.2 Related work · p. 2The algorithm presented herein differs from previous high-probability risk control work: it has a guarantee in expectation, and neither the algorithm nor its analysis share much technical similarity with these previous works.
“the algorithm presented herein differs greatly: it has a guarantee in expectation, and neither the algorithm nor its analysis share much technical similarity with these previous works.”
Quote in the paperSubstantial claim1 of 3 sources checked- cites [17] [17] V. Vovk, 'Conditional validity of inductive conformal predictors,' in Proceedings of the Asian Conference on Machine Learning , vol. 25, 2012, pp. 475-490. - source
- cites [18] [18] S. Bates, A. Angelopoulos, L. Lei, J. Malik, and M. I. Jordan, 'Distribution-free, risk-controlling prediction sets,' Journal of the ACM , vol. 68, no. 6, Sep. 2021. - source
- cites [19] [19] A. N. Angelopoulos, S. Bates, E. J. Cand` es, M. I. Jordan, and L. Lei, 'Learn then Test: Calibrating predictive algorithms to achieve risk control,' arXiv preprint arXiv:2110.01052 , 2021. - source
Probably not a substantial claim: may not pass S3 (load-bearing).
Premisecitation§ 4.2 Quantile risk control · p. 11[39] generalizes [18] to control the quantile of a monotone loss function conditional on (X_i,Y_i)_{i=1}^n with probability 1-δ over the calibration dataset for any user-specified tolerance parameter δ.
“[39] generalizes [18] to control the quantile of a monotone loss function conditional on ( X i , Y i ) n i =1 with probability 1 -δ over the calibration dataset for any user-specified tolerance parameter δ .”
Quote in the paperNot a substantial claim1 of 2 sources checked- cites [39] [39] J. C. Snell, T. P. Zollo, Z. Deng, T. Pitassi, and R. Zemel, 'Quantile risk control: A flexible framework for bounding the probability of high-loss predictions,' arXiv preprint arXiv:2212.13629 , 2022. - source
- cites [18] [18] S. Bates, A. Angelopoulos, L. Lei, J. Malik, and M. I. Jordan, 'Distribution-free, risk-controlling prediction sets,' Journal of the ACM , vol. 68, no. 6, Sep. 2021. - source
Section 2.2 and Appendix A establish that calibration can control a monotone risk with probability at least 1−δ over the calibration data. But Section 6 describes the paper’s main risk as the mean loss, while Appendix B gives a binary-loss tolerance-region case; the cited passages do not establish the claimed guarantee for the quantile of an arbitrary monotone loss. The paper’s Related Work section supports the characterization of its method as an expansion of tolerance regions. (LLM, conf=0.85)
Experimental — accuracy not yet measured
The quote only partly states this claim.
Findingreasoning§ Abstract · p. 1Under i.i.d. L_i ≥ 0 and no discontinuities, the conformal risk control procedure is tight up to a factor 2B/(n+1), satisfying E[L_{n+1}(λ̂)] ≥ α - 2B/(n+1).
“Like conformal prediction, the conformal risk control procedure is tight up to an O (1 /n ) factor.”
- Also stated in: § 2.2 A risk lower bound · p. 4 · plain
“Next we show that the conformal risk control procedure is tight up to a factor 2 B/ ( n +1).”
- Also stated in: § 2.2 A risk lower bound · p. 4 · plain
“Theorem 2. In the setting of Theorem 1, further assume that the L i are i.i.d., L i ≥ 0 , and for any λ , P ( J ( L i , λ ) > 0) = 0 . Then”
Quote in the paperSubstantial claim- The authors state this as an assumption: The loss functions L_i are i.i.d.
- The authors state this as an assumption: The loss functions L_i are nonnegative.
- The authors state this as an assumption: For any λ, P(J(L_i,λ)>0)=0.
- Also stated in: § 2.2 A risk lower bound · p. 4 · plain
The quote only partly states this claim.
Findingreasoning§ 1.1 Algorithm and preview of main results · p. 2For exchangeable non-increasing right-continuous loss functions L_i, the conformal risk control algorithm choosing λ̂ by (4) satisfies the risk control guarantee E[L_{n+1}(λ̂)] ≤ α.
“Our main result is that this algorithm satisfies (3).”
- Also stated in: § 2.1 Risk control · p. 3 · plain
“We first show that the proposed algorithm leads to risk control when the loss is monotone.”
Quote in the paperSubstantial claim- The authors state this as an assumption: The calibration and test loss functions are exchangeable.
- The authors state this as an assumption: The loss functions L_i are non-increasing in λ.
- The authors state this as an assumption: The loss functions L_i are right-continuous.
- The authors state this as an assumption: The loss functions L_i are bounded above by B < ∞.
- Also stated in: § 2.1 Risk control · p. 3 · plain
May combine two claims. The quote only partly states this claim.
Findingreasoning§ Total variation bound · p. 10Proposition 3: Under the conditions in Theorem 1, the total variation bound holds for a sequence Z=(Z_1,...,Z_{n+1}); if further the assumptions of Theorem 2 hold, a second bound holds.
“Proposition 3. Let Z = ( Z 1 , . . . , Z n +1 ) be a sequence of random variables. Then, under the conditions in Theorem 1,”
- Also stated in: § Total variation bound · p. 11 · plain
“If further the assumptions of Theorem 2 hold,”
Quote in the paperSubstantial claim- Also stated in: § Total variation bound · p. 11 · plain
May combine two claims.
Findingown data§ 3.4 F1-score control in open-domain question answering · p. 9In Natural Questions open-domain QA, the mean and standard deviation of the risk over 1000 trials are 0.2996 and 0.0150, respectively, with α=0.3.
“The mean and standard deviation of the risk over 1000 trials are 0.2996 and 0.0150, respectively.”
Quote in the paperSubstantial claimMay combine two claims. The quote only partly states this claim.
Findingown data§ 3.1 FNR control in tumor segmentation · p. 6In tumor segmentation, the mean and standard deviation of the risk over 1000 trials are 0.0987 and 0.0114, respectively, with α=0.1.
“The mean and standard deviation of the risk over 1000 trials are 0.0987 and 0.0114, respectively.”
Quote in the paperSubstantial claimMay combine two claims. The quote only partly states this claim.
Findingown data§ 2.4 Controlling general loss functions · p. 5If the loss functions L_i are not monotone, the conformal risk control algorithm does not control the risk; for any ε there exists a non-monotone loss function such that the expected risk can be arbitrarily close to B.
“We next show that the conformal risk control algorithm does not control the risk if the L i are not assumed to be monotone. In particular, (3) does not hold. We show this by example.”
- Also stated in: § 2.4 Controlling general loss functions · p. 5 · plain
“Notice that for any desired level α , the expectation in (3) can be arbitrarily close to B .”
Quote in the paperSubstantial claim- Also stated in: § 2.4 Controlling general loss functions · p. 5 · plain
The quote only partly states this claim.
Findingnone given§ 4.5 U-risk control · p. 12Proposition 7: Assume L_S(λ) is non-increasing in λ, right-continuous, and satisfies the stated condition. Then the U-risk control guarantee (15) is achieved.
“Proposition 7. Assume that L S ( λ ) is non-increasing in λ , right-continuous, and”
- Also stated in: § 4.5 U-risk control · p. 12 · plain
“Then (15) is achieved.”
Quote in the paperNot a substantial claim- The authors state this as an assumption: L_S(λ) is non-increasing in λ, right-continuous, and satisfies the stated condition.
- Also stated in: § 4.5 U-risk control · p. 12 · plain
The quote only partly states this claim.
Findingnone given§ A Monotonizing non-monotone risks · p. 15Theorem A.1: Let L_i(λ) be right-continuous, i.i.d., bounded functions satisfying (5). Then the stated asymptotic risk-control result holds.
“Theorem A.1. Let the L i ( λ ) be right-continuous, i.i.d., bounded (both above and below) functions satisfying (5) . Then,”
Quote in the paperSubstantial claim- The authors state this as an assumption: L_i(λ) are right-continuous, i.i.d., bounded (both above and below) functions satisfying (5).
Probably not a substantial claim: may not pass S3 (load-bearing).
Findingnone given§ A Monotonizing non-monotone risks · p. 15In the case of a monotone loss function, ̃λ↑ = ˆλ.
“Note that in the case of a monotone loss function, ˜ λ ↑ = ˆ λ .”
Quote in the paperNot a substantial claimMay combine two claims. The quote only partly states this claim.
Findingown data§ 3.3 Control of graph distance in hierarchical image classification · p. 8In hierarchical ImageNet classification, the mean and standard deviation of the risk over 1000 trials are 0.0499 and 0.0011, respectively, with α=0.05.
“The mean and standard deviation of the risk over 1000 trials are 0.0499 and 0.0011, respectively.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown data§ 3.2 FNR control in multilabel classification · p. 6In MS COCO multilabel classification, the mean and standard deviation of the risk over 1000 trials are 0.0996 and 0.0052, respectively, with α=0.1.
“The mean and standard deviation of the risk over 1000 trials are 0.0996 and 0.0052, respectively.”
Quote in the paperSubstantial claimMay combine two claims.
Findingreasoning§ 4.4 Adversarial risks · p. 12Adversarial risks defined by perturbations can be recast as a conformal risk control problem by taking ̃L_i(λ)=sup_{γ∈Γ} L_i(λ;γ), and the following choice of λ leads to risk control.
“This can be recast as a conformal risk control problem by taking ˜ L i ( λ ) = sup γ ∈ Γ L i ( λ ; γ ). Then, the following choice of λ leads to risk control:”
Quote in the paperSubstantial claimClassified as probably not a substantial claim.
Interpretationown data§ 5 Conclusion · p. 12The generalization of conformal prediction broadens its scope to new applications, as shown in Section 3.
“This generalization of conformal prediction broadens its scope to new applications, as shown in Section 3.”
Quote in the paperSubstantial claimClassified as probably not a substantial claim.
Interpretationnone given§ 4.1 Risk control under distributional shift · p. 10In transductive learning, if the conditional distribution of Y given X remains the same in the training and test domains, the distributional shift reduces to a covariate shift.
“In the setting of transductive learning, X n +1 is available to the user. If the conditional distribution of Y given X remains the same in the training and test domains, the distributional shift reduces to a covariate shift and”
Quote in the paperSubstantial claim- The authors state this as an assumption: The conditional distribution of Y given X remains the same in the training and test domains.
Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Interpretationnone given§ 3 Examples · p. 5The four loss functions used in the examples are non-binary, monotone losses bounded by 1.
“All four loss functions are non-binary, monotone losses bounded by 1.”
Quote in the paperNot a substantial claimMay combine two claims.
Interpretationreasoning§ 3.4 F1-score control in open-domain question answering · p. 8The token-level F1 loss is monotone and upper bounded by 1, so it can be controlled by choosing λ̂ as in Section 2.1 to achieve the risk-control guarantee.
“Since L F1 i , as defined in this way, is monotone and upper bounded by 1, it can be controlled by choosing ˆ λ as in Section 2.1 to achieve the following guarantee:”
Quote in the paperSubstantial claimMay combine two claims.
Interpretationreasoning§ 3.3 Control of graph distance in hierarchical image classification · p. 7The hierarchical distance loss is monotone and can be controlled by choosing λ̂ as in (4) to achieve the risk-control guarantee.
“Thus, it is a monotone loss function and can be controlled by choosing ˆ λ as in (4) to achieve the guarantee”
Quote in the paperSubstantial claimMay combine two claims.
Interpretationreasoning§ 2.4 Controlling general loss functions · p. 5The further algorithm in Appendix A provides an asymptotic risk-control guarantee for non-monotone loss functions, but is only powerful when the risk is near-monotone and reduces to standard conformal risk control when the loss is monotone.
“We propose a further algorithm for picking λ in Appendix A that provides an asymptotic risk-control guarantee for non-monotone loss functions. However, this algorithm again is only powerful when the risk E [ L n +1 ( λ )] is near-monotone and reduces to the standard conformal risk control algorithm when the loss is monotone.”
Quote in the paperSubstantial claimMay combine two claims. The quote only partly states this claim.
Interpretationown data§ 3 Examples · p. 5The results over 1000 random data splits demonstrate that the procedure provides valid risk control (mean risk ≤ α) and gives useful outputs to the end-user.
“Our results validate that the procedure bounds the risk as desired and gives useful outputs to the end-user.”
Quote in the paperSubstantial claimClassified as probably not a substantial claim. May combine two claims.
Interpretationreasoning§ 5 Conclusion · p. 12The mathematical tools developed in Section 2, Section 4, and the Appendix provide a new and more general language for studying conformal prediction along with new results about its validity.
“The mathematical tools developed in Section 2, Section 4, and the Appendix may be of independent technical interest, since they provide a new and more general language for studying conformal prediction along with new results about its validity.”
Quote in the paperSubstantial claimMay combine two claims.
Interpretationnone given§ 1.2 Related work · p. 2The guarantee available through conformal risk control strictly subsumes that of conformal prediction; it is generally impossible to recast risk control as coverage control.
“The guarantee available through conformal risk control, (3), strictly subsumes that of conformal prediction; it is generally impossible to recast risk control as coverage control.”
Quote in the paperNot a substantial claimMay combine two claims.
Interpretationreasoning§ 2.4 Controlling general loss functions · p. 5Monotonizing all loss functions L_i and running conformal risk control guarantees (3), but this strategy is only powerful if the loss is near-monotone.
“Simply 'monotonizing' all loss functions L i and running conformal risk control will guarantee (3), but this strategy will only be powerful if the loss is near-monotone.”
Quote in the paperSubstantial claimMay combine two claims.
Interpretationreasoning§ 2.3 Conformal prediction reduces to risk control · p. 4The risk lower bound in Theorem 2 has a slightly worse constant than the usual conformal guarantee; it recovers the conformal lower bound P(Y_{n+1} ∉ C_{λ̂}(X_{n+1})) ≥ α - 1/(n+1) as P(Y_{n+1} ∉ C_{λ̂}(X_{n+1})) ≥ α - 2/(n+1), a factor of two worse.
“However, the risk lower bound in Theorem 2 has a slightly worse constant than the usual conformal guarantee.”
- Also stated in: § 2.3 Conformal prediction reduces to risk control · p. 4 · plain
“However, the bound for the conformal case is better than the bound for the general case in Theorem 2 by a factor of two.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [8] [8] J. Lei, M. G'Sell, A. Rinaldo, R. J. Tibshirani, and L. Wasserman, 'Distribution-free predictive inference for regression,' Journal of the American Statistical Association , vol. 113, no. 523, pp. 1094-1111, 2018. - source
- Also stated in: § 2.3 Conformal prediction reduces to risk control · p. 4 · plain
Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Interpretationnone given§ 3 Examples · p. 5The choices of C λ used in the examples are only for illustration; any nested family of sets will work.
“We note that the choices of C λ used herein are only for the purposes of illustration ; any nested family of sets will work.”
Quote in the paperNot a substantial claim
The authors state this as an assumption.
The calibration and test loss functions are exchangeable.
“Consider an exchangeable collection of non-increasing, random functions L i : Λ → ( -∞ , B ], i = 1 , . . . , n +1.”
The authors state this as an assumption.
The loss functions L_i are non-increasing in λ.
“We require the loss function to be non-increasing as a function of λ .”
The authors state this as an assumption.
The loss functions L_i are right-continuous.
“Assume that L i ( λ ) is non-increasing in λ , right-continuous, and”
The authors state this as an assumption.
The loss functions L_i are bounded above by B < ∞.
“we consider a loss function ℓ ( C λ ( x ) , y ) ∈ ( -∞ , B ] for some B < ∞ .”
The authors state this as an assumption.
The loss functions L_i are i.i.d.
“further assume that the L i are i.i.d., L i ≥ 0 , and for any λ , P ( J ( L i , λ ) > 0) = 0 .”
The authors state this as an assumption.
The loss functions L_i are nonnegative.
“further assume that the L i are i.i.d., L i ≥ 0 , and for any λ , P ( J ( L i , λ ) > 0) = 0 .”
The authors state this as an assumption.
For any λ, P(J(L_i,λ)>0)=0.
“further assume that the L i are i.i.d., L i ≥ 0 , and for any λ , P ( J ( L i , λ ) > 0) = 0 .”
The paper relies on this without support.
The top several hundred candidate answers retrieved from the top 100 passages are sufficient to control all risks of interest.
“we retrieve the top several hundred candidate answers, extracted from the top 100 passages (which is sufficient to control all risks of interest).”
The authors state this as an assumption.
P_test is absolutely continuous with respect to P_train.
“Assuming that P test is absolutely continuous with respect to P train , the weighted objective (9) can be rewritten as”
The authors state this as an assumption.
The conditional distribution of Y given X remains the same in the training and test domains.
“If the conditional distribution of Y given X remains the same in the training and test domains, the distributional shift reduces to a covariate shift and”
The authors state this as an assumption.
L_i ∈ [0,B] for all i.
“In particular, assuming L i ∈ [0 , B ], for any potential value x of the covariate, we define”
The authors state this as an assumption.
L_S(λ) is non-increasing in λ, right-continuous, and satisfies the stated condition.
“Proposition 7. Assume that L S ( λ ) is non-increasing in λ , right-continuous, and”
The authors state this as an assumption.
L_i(λ) are right-continuous, i.i.d., bounded (both above and below) functions satisfying (5).
“Theorem A.1. Let the L i ( λ ) be right-continuous, i.i.d., bounded (both above and below) functions satisfying (5) .”
The authors state this as an assumption.
P(J(L_i,λ) > 0) = 0.
“applying the assumption P ( J ( L i , λ ) > 0) = 0,”
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
Each contradiction between two passages listed here was confirmed by an independent check.
Multilabel FNR example says it counts false positives
MinorThe multilabel example says it calculates false positives, although it describes its result as FNR control. Earlier, the paper defines the FNR loss using false negatives.
“we form prediction sets and calculate the number of false positives exactly as in (7). By Theorem 1, picking ˆ λ as in (4) again yields the FNR-control guarantee in (8).”
“measure loss as the fraction of false negatives,”
Weighted loss is described with the opposite monotonicity
MinorThe paper requires the loss to be non-increasing in λ, but says the weighted loss is non-decreasing whenever the original loss has that property.
“the loss function ˜ L n +1 ( λ ) = w ( X n +1 , Y n +1 ) L n +1 ( λ ), which is non-decreasing, bounded, and right-continuous in λ whenever L n +1 is.”
“We require the loss function to be non-increasing as a function of λ .”
Cites
Deep Residual Learning for Image Recognition
He, K., Zhang, X., Ren, S., & Sun, J. (2016) · 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) · doi:10.1109/cvpr.2016.90 · Cited by 235,474 · see citing works
ImageNet: A large-scale hierarchical image database
Deng, J., Dong, W., Socher, R., Li, L.-J., Li, K., & Fei-Fei, L. (2009) · 2009 IEEE Conference on Computer Vision and Pattern Recognition · doi:10.1109/cvpr.2009.5206848 · Cited by 65,333 · see citing works
Microsoft COCO: Common Objects in Context
Lin, T.-Y., Maire, M., Belongie, S., Hays, J., Perona, P., Ramanan, D., Dollár, P., & Zitnick, C. L. (2014) · Lecture Notes in Computer Science · doi:10.1007/978-3-319-10602-1_48 · Cited by 45,460 · see citing works
SQuAD: 100,000+ Questions for Machine Comprehension of Text
Rajpurkar, P., Zhang, J., Lopyrev, K., & Liang, P. (2016) · Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing · doi:10.18653/v1/d16-1264 · Cited by 6,208 · see citing works
Dense passage retrieval for open-domain question answering
Karpukhin, V., Oguz, B., Min, S., Lewis, P., Wu, L., Edunov, S., Chen, D., & Yih, W.-T. (2020) · Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP) · doi:10.18653/v1/2020.emnlp-main.550 · Cited by 3,575 · see citing works
Natural Questions: A benchmark for question answering research
Kwiatkowski, T., Palomaki, J., Redfield, O., Collins, M., Parikh, A., Alberti, C., Epstein, D., Polosukhin, I., Devlin, J., Lee, K., et al. (2019) · Transactions of the Association for Computational Linguistics · doi:10.1162/tacl_a_00276 · Cited by 2,069 · see citing works
PraNet: Parallel Reverse Attention Network for Polyp Segmentation
Fan, D.-P., Ji, G.-P., Zhou, T., Chen, G., Fu, H., Shen, J.-B., & Shao, L. (2020) · International Conference on Medical Image Computing and Computer-Assisted Intervention · doi:10.1007/978-3-030-59725-2_26 · Cited by 2,003 · see citing works
A tutorial on conformal prediction
Shafer, G., & Vovk, V. (2007) · Journal of machine learning research · doi:10.5555/1390681.1390693 · Cited by 1,896
Distribution-Free Predictive Inference for Regression
Lei, J., G’Sell, M., Rinaldo, A., Tibshirani, R. J., & Wasserman, L. (2018) · Journal of the American Statistical Association · doi:10.1080/01621459.2017.1307116 · Cited by 1,049 · see citing works
Confident Adaptive Language ModelingPreprint
Schuster, T., Fisch, A., Gupta, J., et al. (2022) · Neural Information Processing Systems · doi:10.48550/arxiv.2207.07061 · Cited by 419 · see citing works
Self-citationInductive Confidence Machines for Regression
Papadopoulos, H., Proedrou, K., Vovk, V., & Gammerman, A. (2002) · Lecture Notes in Computer Science · doi:10.1007/3-540-36755-1_29 · Cited by 346 · see citing works
Algorithmic Learning in a Random World
Vovk, V., Gammerman, A., & Shafer, G. (2022) · doi:10.1007/978-3-031-06649-8 · Cited by 296 · see citing works
Conformalized Quantile Regression
Romano, Y., Patterson, E., & Candès, E. J. (2019) · arXiv · doi:10.48550/arxiv.1905.03222 · Cited by 236 · see citing works
Conditional validity of inductive conformal predictors
Vovk, V. (2013) · Machine Learning · doi:10.1007/s10994-013-5355-6 · Cited by 225 · see citing works
The limits of distribution-free conditional predictive inference
Barber, R. F., Candès, E. J., Ramdas, A., & Tibshirani, R. J. (2020) · Information and Inference A Journal of the IMA · doi:10.1093/imaiai/iaaa017 · Cited by 163 · see citing works
Distribution-free, Risk-controlling Prediction Sets
Bates, S., Angelopoulos, A., Lei, L., Malik, J., & Jordan, M. (2021) · Journal of the ACM · doi:10.1145/3478535 · Cited by 144 · see citing works
Self-citationConformal Inference of Counterfactuals and Individual Treatment Effects
Lei, L., & Candès, E. J. (2021) · Journal of the Royal Statistical Society Series B (Statistical Methodology) · doi:10.1111/rssb.12445 · Cited by 117 · see citing works
Self-citationAdaptive Conformal Inference Under Distribution ShiftPreprint
Gibbs, I., & Candès, E. J. (2021) · arXiv (Cornell University) · doi:10.48550/arxiv.2106.00170 · Cited by 114 · see citing works
Learn then Test: Calibrating Predictive Algorithms to Achieve Risk Control
Angelopoulos, A. N., Bates, S., Candès, E. J., Jordan, M. I., & Lei, L. (2021) · arXiv · doi:10.48550/arxiv.2110.01052 · Cited by 100 · see citing works
Self-citationUncertainty Sets for Image Classifiers using Conformal Prediction
Angelopoulos, A., Bates, S., Malik, J., & Jordan, M. I. (2020) · arXiv · doi:10.48550/arxiv.2009.14193 · Cited by 79 · see citing works
Self-citationA result of Vapnik with applications
Anthony, M., & Shawe-Taylor, J. S. (1993) · Discrete Applied Mathematics · doi:10.1016/0166-218x(93)90126-9 · Cited by 78 · see citing works
Conformal Prediction Sets with Limited False Positives
Fisch, A., Schuster, T., Jaakkola, T., et al. (2022) · International Conference on Machine Learning · doi:10.48550/arxiv.2202.07650 · Cited by 38
Self-citationConsistent Accelerated Inference via Confident Adaptive Transformers
Schuster, T., Fisch, A., Jaakkola, T., & Barzilay, R. (2021) · Conference on Empirical Methods in Natural Language Processing (EMNLP) · doi:10.18653/v1/2021.emnlp-main.406 · Cited by 34 · see citing works
Self-citationAngelopoulos, A. N., Kohli, A., Bates, S., Jordan, M. I., Malik, J., Alshaabi, T., Upadhyayula, S., & Romano, Y. (2022) · arXiv (Cornell University) · doi:10.48550/arxiv.2202.05265 · Cited by 27 · see citing works
Self-citationRecommendation Systems with Distribution-Free Reliability GuaranteesPreprint
Angelopoulos, A. N., Krauth, K., Bates, S., Wang, Z., & Jordan, M. I. (2022) · arXiv (Cornell University) · doi:10.48550/arxiv.2207.01609 · Cited by 2 · see citing works
Self-citationQuantile Risk Control: A Flexible Framework for Bounding the Probability of High-Loss Predictions
Snell, J. C., Zollo, T. P., Deng, Z., Pitassi, T., & Zemel, R. (2022) · arXiv · doi:10.48550/arxiv.2212.13629 · Cited by 2 · see citing works
TResNet: High Performance GPU-Dedicated Architecture
Ridnik, T., Lawen, H., Noy, A., et al. (2020) · arXiv · doi:10.48550/arxiv.2003.13630
Davidson, J., & de Jong, R. M. (2000) · Econometric Theory · doi:10.1017/s0266466600165028
Generalizations of the Glivenko-Cantelli Theorem
Dehardt, J. (1971) · The Annals of Mathematical Statistics · doi:10.1214/aoms/1177693073
Conformal prediction beyond exchangeability
Barber, R. F., Candes, E. J., Ramdas, A., & Tibshirani, R. J. (2022) · arXiv · doi:10.48550/arxiv.2202.13415
Conformal Prediction Under Feedback Covariate Shift for Biomolecular Design
Fannjiang, C., Bates, S., Angelopoulos, A. N., Listgarten, J., & Jordan, M. I. (2022) · arXiv · doi:10.48550/arxiv.2202.03613
Self-citationSemantic uncertainty intervals for disentangled latent spaces
Sankaranarayanan, S., Angelopoulos, A. N., Bates, S., Romano, Y., & Isola, P. (2022) · arXiv · doi:10.48550/arxiv.2207.10074
Self-citation
Flagged first, then by citations
Research works printed but not linked: 6
- [4][4] A. Fisch, T. Schuster, T. S. Jaakkola, and R. Barzilay, 'Efficient conformal prediction via cascaded inference with expanded admission,' in International Conference on Learning Representations , 2021. -
- [5][5] V. Vovk, A. Gammerman, and C. Saunders, 'Machine-learning applications of algorithmic randomness,' in International Conference on Machine Learning , 1999, pp. 444-453. -
- [9][9] R. J. Tibshirani, R. Foygel Barber, E. Candes, and A. Ramdas, 'Conformal prediction under covariate shift,' in Advances in Neural Information Processing Systems , vol. 32, 2019, pp. 2530-2540. -
- [16][16] Y. Romano, M. Sesia, and E. Cand` es, 'Classification with valid and adaptive coverage,' in Advances in Neural Information Processing Systems , H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan, and H. Lin, Eds., vol. 33, Curran Associates, Inc., 2020, pp. 3581-3591. -
- [20][20] S. Park, O. Bastani, N. Matni, and I. Lee, 'PAC confidence sets for deep neural networks via calibrated prediction,' in International Conference on Learning Representations (ICLR) , 2020. -
- [38][38] E. Cand` es, L. Lei, and Z. Ren, 'Conformalized survival analysis,' Journal of the Royal Statistical Society Series B: Statistical Methodology , vol. 85, no. 1, pp. 24-45, 2023. -
Cited by
Sorted by citations
Conformal Semantic Image Segmentation: Post-hoc Quantification of Predictive Uncertainty
Mossina, L., Dalmau, J., & Andéol, L. (2024) · 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) · doi:10.1109/cvprw63382.2024.00361 · Cited by 18 · see citing works
Calibrating Conservatism for Scalable Oversight
Overman, W., & Bayati, M. (2026) · arXiv · doi:10.48550/arxiv.2605.28807
Optimized Certainty Equivalent Risk-Controlling Prediction Sets
Huang, J., Farzaneh, A., & Simeone, O. (2026) · arXiv · doi:10.48550/arxiv.2602.13660
“E XPERIMENTS In this section, to validate the proposed OCE-RCPS scheme, we report empirical results for the tumor segmentation task [10].”
- Authors
- Angelopoulos, A. N., Bates, S., Fisch, A., Lei, L., & Schuster, T.
- Affiliations
- University of California, Berkeley (US)
- Massachusetts Institute of Technology (US)
- Stanford University (US)
- Google (United States) (US)
- Venue
- arXiv
- Publisher
- arXiv
- Published
- 2022
- ISSN
- 2331-8422 (ISSN-L)
- arXiv
- 2208.02814
- OpenAlex
- W4290055968
- Semantic Scholar
- af2fba1911f0d0977c731e3918c51428e08741da
- Cited by
- 37
- References
- 32
- Citations by year
- 2026: 2 · 2025: 10 · 2024: 16 · 2023: 9
- Type
- posted content
- Language
- en
- Open access
- green
- arxiv.org
- Locations
- arXiv (Cornell University) (submittedVersion)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Machine Learning and Algorithms
- Physical Sciences › Computer Science › Artificial Intelligence › Machine Learning and Data Classification
- Physical Sciences › Mathematics › Statistics and Probability › Statistical Methods and Inference
- Keywords
- conformal prediction, risk control, split conformal prediction, coverage guarantees, distribution shift, U-statistics, false negative rate, graph distance
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Claims read by deepseek-v4.1-flash under definition version 3 (extract-v3) on 2026-11-01.
Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-11-01.
Cited sources are checked by gpt-6-sol.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review