The Coverage-Deferral Trade-Off: Fairness Implications of Conformal Prediction in Human-in-the-Loop Decision Systems
Open accessAbstract
Conformal prediction (CP) provides distribution-free uncertainty quantification by constructing prediction sets with guaranteed coverage. In human-in-the-loop (HITL) decision systems, these sets naturally define deferral policies: cases with singleton sets proceed automatically, while those with multiple labels require human review. Mondrian CP, which calibrates separately per group, has been proposed to achieve group-conditional coverage validity, ensuring each demographic group meets the target coverage level. However, we demonstrate through extensive experiments (832K evaluations across 14K configurations, 6 datasets, 100 seeds) that improving coverage validity comes at a significant cost: Mondrian CP increases deferral disparity by 143% compared to global CP, despite reducing coverage disparity by 26% on average. This coverage-deferral trade-off is fundamental: it persists across all datasets (p < 0.001), is invariant to HITL parameters, and exhibits monotonic behavior with respect to the shrinkage interpolation parameter γ. We prove an analogous impossibility result for conformal prediction: under specific conditions, coverage parity and deferral parity cannot be simultaneously achieved when base rates differ between groups. We further demonstrate that standard fairness metrics (Equalized Odds, Average Odds Difference) are invariant to CP method choice, identifying deferral gap as a critical operational fairness metric that captures CP’s unique impact on who receives human review, a dimension invisible to standard EO metrics. Our findings provide actionable guidance: use Mondrian for group-conditional coverage validity, global CP for deferral fairness, or shrinkage for balanced trade-offs.
AI snapshot
Written from the paper’s full text.
TL;DR
Mondrian conformal prediction improves group-conditional coverage but worsens deferral fairness in human-in-the-loop systems, revealing a coverage-deferral trade-off. The paper argues this trade-off is structural, invariant to HITL parameters, and implies an impossibility result when base rates differ.
Key findings
- Mondrian CP reduces coverage gap by 26% on average (0.032 → 0.023) but increases deferral gap by 143% (0.052 → 0.125) compared with global CP, with all differences significant at p < 0.001 across 100 seeds and 6 datasets.
- The trade-off persists across all datasets, is invariant to HITL parameters (ratio ≈ 2.4×), and is monotonic in the shrinkage parameter γ; the paper reports no optimal γ where both coverage and deferral gaps are minimized.
- Standard EO metrics (EOD, AOD, FPR/FNR gaps) are invariant to CP method choice because CP changes prediction sets, not point predictions; deferral gap is proposed as the CP-specific fairness metric capturing who receives human review.
- The paper proves an analogous impossibility result: under specific conditions, coverage parity and deferral parity cannot be simultaneously achieved when base rates differ between groups.
Methods
- The study runs 832K evaluations across 14K configurations, 6 datasets (Adult, COMPAS, German Credit, Taiwan Credit, ACS Income, Bank Marketing), 5 model types (GB, RF, XGB, LR, MLP), 100 seeds, and α = 0.10, using a 4-way split (60% train, 10% calibration, 10% CP, 20% test).
- It compares Global, Mondrian, and Shrinkage CP (γ ∈ [0, 1]), with supplementary LAC and SAPS comparisons; split conformal prediction uses an inverse-probability conformity score, and deferral is defined as |Ĉ(x)| > 1.
- HITL simulation varies human accuracy h ∈ [0.7, 1.0] and review rate r ∈ [0, 1]; statistical robustness uses 100 random seeds, bootstrap 95% CIs, and paired t-tests.
Limitations
- Stated: binarized sensitive attributes may obscure within-group heterogeneity; intersectional groups (e.g., Sex × Race) show 10–29% higher deferral disparity than single-attribute groups, and individual-level fairness is not addressed.
- Stated: the HITL simulation assumes group-invariant human accuracy; if h₀ ≠ h₁, Mondrian’s higher deferral rate can amplify accuracy disparity by up to 2.2×. Small calibration sets are noisy (German Credit N = 200; n_g < 30), and the paper recommends n_g ≥ 50 per group.
- Stated: the method scope is threshold-based APS-style CP; formal coverage guarantees hold only at γ = 0 and γ = 1, not for intermediate γ; Mondrian requires the sensitive attribute at test time, and capacity constraints and multi-class extensions are left for future work.
Model-written summary. Check it against the paper before relying on it.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
0 of 7 cited sources checked · 0 supported · 0 flagged
- Findingown data
Mondrian CP increases deferral disparity by 143% compared to global CP.
“Mondrian CP increases deferral disparity by 143% compared to global CP, despite reducing coverage disparity by 26% on average.”
- Also stated in: § Coverage-Deferral Trade-off. · plain
“Mondrian CP reduces coverage disparity by 26% but increases deferral disparity by 143% compared to global CP (p < 0.001, 100 seeds, 6 datasets).”
- Also stated in: § 7. Conclusion · plain
“Mondrian CP, designed to target coverage parity via group-conditional validity, increases deferral disparity by 143% compared to global CP.”
- Also stated in: § 7. Conclusion · plain
“Increases deferral gap by 143% on average (0.052 → 0.125)”
Quote in the paperSubstantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
- Also stated in: § Coverage-Deferral Trade-off. · plain
- Findingown data
German Credit under Mondrian: Group 0 defers 39.1% vs Group 1 at 14.4%.
“e.g., German Credit under Mondrian: Group 0 defers 39.1% vs Group 1 at 14.4%”
Quote in the paperSubstantial claim - Findingown data
Final HITL output fairness is approximately invariant to CP method choice.
“The results confirm that FPR and FNR gaps on y f inal are approximately invariant to CP method choice.”
Quote in the paperSubstantial claim - Findingown data
Mondrian CP reduces coverage disparity by 26% on average compared to global CP.
“Mondrian CP increases deferral disparity by 143% compared to global CP, despite reducing coverage disparity by 26% on average.”
- Also stated in: § Coverage-Deferral Trade-off. · plain
“Mondrian CP reduces coverage disparity by 26% but increases deferral disparity by 143% compared to global CP (p < 0.001, 100 seeds, 6 datasets).”
Quote in the paperSubstantial claim - Also stated in: § Coverage-Deferral Trade-off. · plain
- Findingown data
The coverage-deferral trade-off exhibits monotonic behavior with respect to the shrinkage interpolation parameter γ.
“This coverage-deferral trade-off is fundamental: it persists across all datasets (p < 0.001), is invariant to HITL parameters, and exhibits monotonic behavior with respect to the shrinkage interpolation parameter γ.”
Quote in the paperNot a substantial claim
- Findingown data
Empirically, marginal coverage is maintained across all γ values: average coverage remains within ±0.3% of the target 0.90.
“Empirically, we observe that marginal coverage is maintained across all γ values: for γ ∈ [0, 1], average coverage remains within ±0.3% of the target 0.90.”
Quote in the paperSubstantial claim - Findingown data
Intersectional groups (e.g., Sex × Race) experience 10-29% higher deferral disparity than single-attribute groups.
“our supplementary analysis (Section S7.6) shows that intersectional groups (e.g., Sex × Race) experience 10-29% higher deferral disparity than single-attribute groups.”
Quote in the paperSubstantial claim - Findingown data
The six benchmark datasets exhibit nonzero base rate gaps between groups.
“Adult 9,769 0.239 0.198 sex (M/F) COMPAS 1,058 0.470 0.120 race (W/B) German Credit 200 0.300 0.102 sex (M/F) Taiwan Credit 6,000 0.221 0.031 sex (M/F) ACS Income 20,000 0.385 0.145 sex (M/F) Bank Marketing 9,043 0.117 0.012 age (≥40)”
Quote in the paperNot a substantial claim - Findingown data
When human accuracy varies by group, Mondrian's deferral disparity can amplify outcome/accuracy disparities by up to 2.2× (e.g., h0=0.85, h1=0.95).
“Table 22 in Supplementary Material shows that when h g varies, Mondrian's deferral disparity can amplify outcome disparities by up to 2.2×.”
- Also stated in: § External Validity. · plain
“Our supplementary analysis (Table 22) shows that when h 0 = 0.85 and h 1 = 0.95, Mondrian's higher deferral rate for Group 0 can amplify accuracy disparity by up to 2.2×”
Quote in the paperSubstantial claim - Also stated in: § External Validity. · plain
- Findingown data
The paper demonstrates a fundamental coverage-deferral trade-off in conformal prediction for human-in-the-loop systems.
“We have demonstrated a fundamental coverage-deferral trade-off in conformal prediction for human-in-the-loop systems.”
Quote in the paperSubstantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
- Findingreasoning
The trade-off ratio (≈2.4x) is invariant to HITL parameters.
“The trade-off ratio (≈2.4x) is invariant to HITL parameters (Table 5).”
Quote in the paperSubstantial claim - Findingown data
Standard fairness metrics (Equalized Odds, Average Odds Difference) are invariant to CP method choice.
“We further demonstrate that standard fairness metrics (Equalized Odds, Average Odds Difference) are invariant to CP method choice”
- Also stated in: § 5.1. Standard EO Metrics are Invariant to CP Method · plain
“standard fairness metrics (EOD, AOD) are identical across CP methods (Table 2).”
Quote in the paperSubstantial claim - Also stated in: § 5.1. Standard EO Metrics are Invariant to CP Method · plain
- Findingown data
The coverage-deferral trade-off persists across all datasets with p < 0.001.
“This coverage-deferral trade-off is fundamental: it persists across all datasets (p < 0.001), is invariant to HITL parameters, and exhibits monotonic behavior with respect to the shrinkage interpolation parameter γ.”
- Also stated in: § Coverage-Deferral Trade-off. · plain
“We identify a fundamental trade-off: Mondrian CP reduces coverage disparity by 26% but increases deferral disparity by 143% compared to global CP (p < 0.001, 100 seeds, 6 datasets).”
Quote in the paperSubstantial claim - Also stated in: § Coverage-Deferral Trade-off. · plain
- Findingown data
LAC and SAPS exhibit similar trade-off patterns to the primary comparisons.
“Extended experiments with LAC and SAPS (Supplementary S7.2) confirm these findings generalize: LAC achieves coverage gap 0.019 with deferral gap 0.048, clustering with Global rather than Mondrian.SAPS exhibits similar behavior.”
Quote in the paperSubstantial claim - Findingreasoning
Final system accuracy varies with HITL parameters (higher review rate → more cases reviewed → higher accuracy when h > 0.5).
“What changes: Final system accuracy varies with HITL parameters (higher review rate → more cases reviewed → higher accuracy when h > 0.5).”
Quote in the paperNot a substantial claim - Findingreasoning
The coverage-deferral trade-off is invariant to HITL parameters.
“This coverage-deferral trade-off is fundamental: it persists across all datasets (p < 0.001), is invariant to HITL parameters, and exhibits monotonic behavior with respect to the shrinkage interpolation parameter γ.”
- Also stated in: § 5.4. HITL Invariance: A Structural Property by Design · plain
“The trade-off ratio (≈2.4x) is invariant to HITL parameters (Table 5).”
Quote in the paperSubstantial claim - Also stated in: § 5.4. HITL Invariance: A Structural Property by Design · plain
- Findingreasoning
Final HITL output EO (FPR/FNR gaps on decisions after human review) depends on human accuracy h and review rate r, not CP choice.
“Final HITL output EO (FPR/FNR gaps on decisions after human review): These depend on human accuracy h and review rate r, which are protocol parameters, not CP properties.”
Quote in the paperSubstantial claim- Rests on an assumption: Human decisions are independent of CP method.
- Findingnone given
Standard EO metrics are invariant to CP method choice.
“We establish deferral gap as the appropriate fairness metric for CP in HITL systems, showing that standard EO metrics are invariant to CP method choice.”
Quote in the paperNot a substantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
- Findingreasoning
Standard EO-style metrics can remain unchanged even when routing disparity changes substantially.
“standard EO-style metrics can remain unchanged even when routing disparity changes substantially.”
Quote in the paperSubstantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
- Findingown data
Mondrian consistently increases deferral gap across all datasets.
“Mondrian consistently increases deferral gap across all datasets, with ratio annotations.”
Quote in the paperSubstantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
- Findingnone given
The trade-off ratio is invariant to HITL parameters (human accuracy = 0.90).
“Table 5 . Trade-off ratio is invariant to HITL parameters (human accuracy = 0.90).”
Quote in the paperNot a substantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
- Findingown data
Empty sets are rare (<1% across methods with α = 0.10).
“In our experiments, empty sets are rare (< 1% across methods with α = 0.10), so this choice has minimal impact.”
Quote in the paperSubstantial claim - Interpretationnone given
The small-sample CP approaches trade exact finite-sample coverage validity for reduced variance in threshold estimation.
“These approaches trade exact finite-sample coverage validity for reduced variance in threshold estimation.”
Quote in the paperSubstantial claim - Interpretationreasoning
When review capacity is limited, higher deferral rates translate to longer queues, converting routing disparity into waiting-time disparity.
“when review capacity is limited, higher deferral rates translate to longer queues, converting routing disparity into waiting-time disparity”
Quote in the paperNot a substantial claim - Interpretationreasoning
If human reviewers exhibit group-dependent accuracy, Mondrian's higher deferral rate for one group can amplify rather than mitigate final accuracy disparity.
“if human reviewers exhibit group-dependent accuracy (h 0 ̸ = h 1 ), Mondrian's higher deferral rate for one group can amplify rather than mitigate final accuracy disparity”
Quote in the paperSubstantial claim - Interpretationreasoning
Final output EO is primarily determined by HITL protocol parameters, not CP choice.
“Since human decisions are independent of CP method, and non-deferred cases use invariant point predictions, final output EO is primarily determined by HITL protocol parameters, not CP choice.”
Quote in the paperSubstantial claim- Rests on an assumption: Human decisions are independent of CP method.
- Interpretationreasoning
Deferral parity alone is insufficient for fairness.
“These interactions underscore that deferral parity alone is insufficient for fairness.”
Quote in the paperSubstantial claim - Interpretationreasoning
The coverage-deferral trade-off arises because Mondrian CP enforces group-conditional validity, which requires larger prediction sets for groups with lower base rates or harder classification, increasing deferral rates.
“The trade-off arises because Mondrian CP enforces group-conditional validity, i.e., Pr(Y ∈ C(X) | G = g) ≥ 1α for each group g, which, in practice, approximates coverage parity when base rates differ.For groups with lower base rates or harder classification, achieving this validity guarantee requires larger prediction sets, which increases deferral rates:”
Quote in the paperSubstantial claim - Interpretationreasoning
Deferral disparity creates tangible harms even when final decisions are equalized.
“Even when final decisions are equalized, deferral disparity creates tangible harms:”
Quote in the paperSubstantial claim - Interpretationreasoning
Under specific conditions, coverage parity and deferral parity cannot be simultaneously achieved when base rates differ between groups.
“We prove an analogous impossibility result for conformal prediction: under specific conditions, coverage parity and deferral parity cannot be simultaneously achieved when base rates differ between groups.”
- Also stated in: § 6.1. Connection to Impossibility Results · plain
“Coverage Parity ↮ Deferral Parity (when base rates differ)”
Quote in the paperSubstantial claim0 of 1 sources checked- cites Kleinberg et al. [20]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Also stated in: § 6.1. Connection to Impossibility Results · plain
- Interpretationown data
The coverage-deferral trade-off is fundamental to threshold-based CP methods, not specific to the primary comparisons.
“This suggests the coverage-deferral trade-off is fundamental to threshold-based CP methods, not specific to our primary comparisons.”
Quote in the paperNot a substantial claim - Premisenone given
CP modifies prediction sets, not point predictions.
“CP modifies prediction sets, not point predictions.”
Quote in the paperSubstantial claim - Premisecitation
Mondrian CP requires the sensitive attribute G at test time.
“(Note: Mondrian requires the sensitive attribute G at test time; see Section 6.5 for deployment considerations.)”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [36]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Interpretationreasoning
Deferral gap captures CP's unique impact on who receives human review, a dimension invisible to standard EO metrics.
“identifying deferral gap as a critical operational fairness metric that captures CP's unique impact on who receives human review, a dimension invisible to standard EO metrics.”
- Also stated in: § Global Mondrian Shrinkage Max Diff · boosted
“This invariance establishes that deferral gap is a necessary metric for measuring CP's fairness impact: it captures the”
Quote in the paperSubstantial claim - Also stated in: § Global Mondrian Shrinkage Max Diff · boosted
- Premisereasoning
Deferral decisions are determined entirely by conformal prediction, computed before HITL parameters are applied.
“This invariance is expected by design: deferral decisions are determined entirely by conformal prediction (whether | Ĉ(x)| > 1), computed before HITL parameters (review rate r, human accuracy h) are applied.”
Quote in the paperSubstantial claim - Interpretationreasoning
Coverage gap and deferral gap are structural properties of the CP method, independent of downstream human involvement.
“Thus, coverage gap and deferral gap are structural properties of the CP method, independent of downstream human involvement.”
Quote in the paperSubstantial claim - Interpretationreasoning
Deferral disparity is an operational fairness concern distinct from outcome fairness.
“Thus, deferral disparity is an operational fairness concern distinct from outcome fairness.”
- Also stated in: § Group-Dependent Human Accuracy. · boosted
“This finding reinforces deferral disparity as a first-class fairness concern.”
Quote in the paperSubstantial claim - Also stated in: § Group-Dependent Human Accuracy. · boosted
- Interpretationreasoning
The coverage-deferral trade-off is a property of the conformal prediction layer, not the HITL protocol.
“The coverage-deferral trade-off is a property of the conformal prediction layer, not the HITL protocol.”
Quote in the paperSubstantial claim - Interpretationreasoning
Outcome-only reporting can mask substantial operational disparities in routing burden.
“This reveals a gap in standard audit protocols: outcome-only reporting can mask substantial operational disparities in routing burden.”
Quote in the paperSubstantial claim - Interpretationown data
If human reviewers exhibit group-dependent accuracy (e.g., h0 != h1), final output fairness would depend on both CP method choice and human bias patterns.
“if human reviewers exhibit group-dependent accuracy (e.g., h 0 ̸ = h 1 ), final output fairness would depend on both CP method choice and human bias patterns.”
Quote in the paperSubstantial claim - Interpretationown data
The invariance of standard EO metrics to CP method choice reveals a fundamental gap in fairness evaluation protocols.
“The invariance of standard EO metrics to CP method choice is not merely a”
Quote in the paperSubstantial claim - Interpretationown data
Single-attribute audits systematically underestimate harm to multiply-disadvantaged individuals, who may face compounding routing burdens invisible to standard fairness evaluations.
“This matters because single-attribute audits systematically underestimate harm to multiply-disadvantaged individuals, who may face compounding routing burdens invisible to standard fairness evaluations.”
Quote in the paperSubstantial claim - Interpretationnone given
The trade-off result (Theorem 1) applies to threshold-based methods with monotone scores.
“Our trade-off result (Theorem 1) applies to threshold-based methods with monotone scores; alternative CP constructions remain unexplored.”
Quote in the paperSubstantial claim - Interpretationreasoning
All adaptive CP methods that modulate set sizes based on uncertainty exhibit analogous coverage-deferral trade-offs, though magnitudes differ.
“Consequently, all adaptive CP methods that modulate set sizes based on uncertainty exhibit analogous coverage-deferral trade-offs, though the magnitudes differ across methods.”
Quote in the paperNot a substantial claim - Interpretationreasoning
Deferral gap captures the unique fairness dimension that CP method selection affects: who receives human review, not what the final decision is.
“Thus, deferral gap captures the unique fairness dimension that CP method selection affects: who receives human review, not what the final decision is.”
Quote in the paperSubstantial claim - Interpretationreasoning
On finite samples with smaller calibration sets, over-coverage can differ asymmetrically between groups, increasing the observed coverage gap despite valid per-group coverage.
“On finite samples with smaller calibration sets (n g < 100 for German Credit), over-coverage can differ asymmetrically between groups, increasing the observed gap despite valid per-group coverage.”
Quote in the paperSubstantial claim - Study design and conductown data
Empirically, the cross-group density ratio c = f0(p)/f1(p) is validated across all datasets.
“Empirically, we validate assumption (A7) by computing the cross-group density ratio c = f 0 (p)/ f 1 (p) across all datasets (Table”
Quote in the paperNot a substantial claim - Interpretationreasoning
Coverage parity and deferral parity cannot be simultaneously achieved when base rates differ.
“Our work proves an analogous impossibility result for conformal prediction: coverage parity and deferral parity cannot be simultaneously achieved when base rates differ.”
- Also stated in: § 7. Conclusion · plain
“Thus, coverage parity ⇒ deferral disparity, and vice versa.”
Quote in the paperSubstantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
- Also stated in: § 7. Conclusion · plain
- Study design and conductown data
All differences are statistically significant (p < 0.001, paired t-test).
“All differences are statistically significant (p < 0.001, paired t-test).”
Quote in the paperSubstantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
- Interpretationreasoning
In practical HITL deployments, conformal prediction is not only an uncertainty quantification layer but also an implicit routing policy that determines which individuals receive human review.
“In practical HITL deployments, this result implies that conformal prediction is not only an uncertainty quantification layer but also an implicit routing policy that determines which individuals receive human review.”
Quote in the paperSubstantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
- May combine two claims. 25
- The quote only partly states this claim. 1
- Classified as probably not a substantial claim. 11
May combine two claims.
FindingreasoningMondrian reduces coverage gap on average, driven primarily by Adult, but three datasets show increased coverage gaps (COMPAS, German, Taiwan).
“While Mondrian reduces coverage gap on average (driven primarily by Adult), three datasets show increased coverage gaps (COMPAS: 0.018→0.033,German: 0.035→0.057,Taiwan: 0.011→0.013).”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataGerman Credit has only N = 200 test samples, making Mondrian quantile estimates noisy when group calibration sets are small (n_g < 30).
“German Credit has only N = 200 test samples, making Mondrian quantile estimates noisy when group calibration sets are small (n g < 30).”
Quote in the paperSubstantial claimMay combine two claims.
FindingreasoningCP-specific fairness metrics are invariant to (h, r); only final accuracy changes.
“Because CP changes who decides (deferral) rather than underlying point predictions, CP-specific fairness metrics are invariant to (h, r); only final accuracy changes.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataAt 10% review capacity, accuracy disparity increases by 40% for Global and 37% for Mondrian compared to unconstrained review.
“This simulation shows that at 10% review capacity, accuracy disparity increases by 40% for Global and 37% for Mondrian compared to unconstrained review, validating the operational importance of deferral fairness beyond routing alone.”
Quote in the paperSubstantial claim- The authors state this as an assumption: In the fixed-budget simulation, when deferred cases exceed review capacity, cases are selected uniformly at random (no priority queue) and unreviewed cases receive a default reject decision.
- Rests on an assumption: Human review is capacity-constrained, and higher deferral rates translate to longer queues.
May combine two claims.
Findingnone givenThe proof sketch finds c ∈ [0.62, 1.84] with mean c ≈ 0.99, confirming comparable classifier uncertainty across groups.
“finding c ∈ [0.62, 1.84] with mean c ≈ 0.99, confirming comparable classifier uncertainty across groups and supporting the theoretical trade-off.”
Quote in the paperNot a substantial claimThe quote only partly states this claim.
Findingown dataMondrian routes 2-3× more cases from one group to human review.
“A practitioner comparing Global vs Mondrian CP using only TPR gap and FPR gap would conclude”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataMondrian reduces coverage gap by 26% (0.032 → 0.023), though it increases in 3 of 6 datasets.
“Reduces coverage gap by 26% (0.032 → 0.023), though increases in 3 of 6 datasets”
Quote in the paperSubstantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
May combine two claims.
Findingown dataEnforcing group-conditional calibration via Mondrian CP can meaningfully reduce coverage disparity, but typically increases deferral disparity.
“Our experiments show that enforcing group-conditional calibration via Mondrian CP can meaningfully reduce coverage disparity, but typically increases deferral disparity, revealing an inherent design trade-off.”
Quote in the paperSubstantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
May combine two claims.
Findingown dataAs γ increases, coverage gap moves toward the Mondrian value while deferral gap consistently increases; there is no sweet spot where both are minimized.
“The relationship is monotonic on average: as γ increases, coverage gap moves toward the Mondrian value (decreasing in most datasets, increasing in some like COMPAS) while deferral gap consistently increases.There is no”
Quote in the paperSubstantial claim- The authors state this as an assumption: The main results assume uniform human accuracy (h0 = h1).
May combine two claims.
Findingown dataBank Marketing's ratio is inflated by near-zero Global deferral gap; for this dataset, the absolute increase Δ = 0.030 is the appropriate metric.
“† Bank Marketing's ratio is inflated by near-zero Global deferral gap (0.000 ± 0.001); for this dataset, the absolute increase ∆ = 0.030 is the appropriate metric.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S4 (based).
Premisenone givenMondrian CP requires access to the sensitive attribute G at test time for group-conditional threshold selection.
“Mondrian CP requires access to the sensitive attribute G at test time for group-conditional threshold selection.”
Quote in the paperNot a substantial claimMay combine two claims.
PremisecitationMondrian provides group-conditional validity, not guaranteed equal realized coverage.
“This occurs because Mondrian provides group-conditional validity (Eq.5), not guaranteed equal realized coverage.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [36]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
PremisecitationStandard EO metrics are computed from the confusion matrix of binary predictions, which is unchanged by CP.
“Standard EO metrics [17] are computed from the confusion matrix of binary predictions ŷ = ⊮[ f (x) 1 > 0.5], which is unchanged by CP.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [17]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
Study design and conductnone givenThe fairness metrics focus on statistical parity and do not address individual-level fairness concerns.
“Additionally, our fairness metrics focus on statistical parity; individual-level fairness concerns are not addressed.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim.
PremisecitationCresswell et al. [8] found in human-subject experiments that giving people equalized-coverage prediction sets increased disparate impact compared to standard coverage.
“recent work by Cresswell et al. [8] sounds an alarm: in human-subject experiments, giving people equalized-coverage prediction sets increased disparate impact compared to standard coverage.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites Cresswell et al. [8]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
InterpretationreasoningSmall differences in final HITL output fairness arise from stochastic HITL simulation because different deferral patterns lead to different cases being reviewed, but aggregate fairness properties remain stable because human accuracy is group-invariant by construction.
“Small differences (within 0.01) arise from the stochastic HITL simulation: different deferral patterns lead to different cases being reviewed, but the aggregate fairness properties remain stable because human accuracy is group-invariant by construction.”
Quote in the paperSubstantial claim- The authors state this as an assumption: Human accuracy is group-invariant by construction.
May combine two claims.
Interpretationown dataGroups with higher deferral rates are exposed to more human decisions, and if human accuracy is lower for that group, final accuracy gaps increase.
“Groups with higher deferral rates are exposed to more human decisions, and if human accuracy is lower for that group, final accuracy gaps increase.”
Quote in the paperSubstantial claimMay combine two claims.
Interpretationown dataShrinkage with γ ∈ [0.25, 0.5] offers practical coverage validity while balancing the trade-off.
“Thus, shrinkage with γ ∈ [0.25, 0.5] offers practical coverage validity while balancing the trade-off, though formal guarantees apply only at γ = 0 (Global) and γ = 1 (Mondrian).”
Quote in the paperSubstantial claimMay combine two claims.
Interpretationnone givenReal deployments may differ from the experiments: human accuracy varies by group and case difficulty, review capacity is constrained, and institutional factors affect deferral decisions.
“Real deployments may differ: human accuracy varies by group and case difficulty, review capacity is constrained, and institutional factors affect deferral decisions.”
Quote in the paperNot a substantial claimMay combine two claims.
InterpretationreasoningThe invariance results (Section 5.4) hold structurally, but magnitudes may vary in practice.
“The invariance results (Section 5.4) hold structurally, but magnitudes may vary in practice.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing), S4 (based).
Interpretationnone givenContinuous or multi-valued sensitive attributes may exhibit different dynamics.
“Continuous or multi-valued sensitive attributes may exhibit different dynamics.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Study design and conductnone givenThe 100-seed bootstrap provides robust aggregate estimates.
“While our 100-seed bootstrap provides robust aggregate estimates, practitioners should exercise caution applying Mondrian CP to small datasets.”
Quote in the paperNot a substantial claimMay combine two claims.
InterpretationreasoningPractitioners cannot tune away the coverage-deferral trade-off by adjusting review rates; they must choose a CP method (γ value) that aligns with their fairness priorities.
“Practitioners cannot”
Quote in the paperSubstantial claimMay combine two claims.
InterpretationreasoningThe theoretical trade-off (Theorem 1) extends directly to multi-class settings: Mondrian's group-specific thresholds will still induce differential deferral rates across groups, though the magnitude may vary with |Y|.
“The theoretical trade-off (Theorem 1) extends directly: Mondrian's group-specific thresholds will still induce differential deferral rates across groups, though the magnitude may vary with |Y |.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Interpretationnone givenIntersectional fairness (multiple attributes) further complicates this, as calibration set sizes shrink rapidly with the number of intersecting groups.
“We note that intersectional fairness (multiple attributes) further complicates this, as calibration set sizes shrink rapidly with the number of intersecting groups.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim. May combine two claims.
Premisenone givenGlobal CP provides marginal coverage but coverage may vary across demographic groups.
“Standard (”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Interpretationnone givenOther CP scores (e.g., RAPS, confidence-based) may exhibit different trade-off characteristics.
“Other CP scores (e.g., RAPS, confidence-based) may exhibit different trade-off characteristics.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Interpretationnone givenThe empirically recommended range γ ∈ [0.25, 0.5] corresponds approximately to λ ∈ [0.3, 0.7], values where neither objective dominates.
“Our empirically recommended range γ ∈ [0.25, 0.5] corresponds approximately to λ ∈ [0.3, 0.7], values where neither objective dominates.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Study design and conductnone givenBinarized sensitive attributes may obscure within-group heterogeneity.
“We use binarized sensitive attributes (e.g., sex, age threshold), which may obscure within-group heterogeneity.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
InterpretationreasoningThe framework naturally extends to multi-class settings by deferring when |C(x)| > k for practitioner-specified budget k.
“For multi-class settings (|Y | > 2), our framework naturally extends to |C(x)| > k for practitioner-specified budget k.”
Quote in the paperNot a substantial claimMay combine two claims.
InterpretationreasoningShrinkage provides a heuristic trade-off between Global and Mondrian, but intermediate γ values lack formal coverage guarantees.
“While shrinkage provides a heuristic trade-off between Global and Mondrian, intermediate γ values lack formal coverage guarantees.”
Quote in the paperSubstantial claimMay combine two claims.
Interpretationnone givenFor shrinkage parameter γ in (0,1), formal finite-sample coverage guarantees do not hold, though empirical coverage remains valid.
“Note: for γ ∈ (0, 1), formal finite-sample coverage guarantees do not hold, though empirical coverage remains valid (Section 3.3).”
- Also stated in: § Method Scope. · plain
“For intermediate shrinkage values (γ ∈ (0, 1)), formal coverage guarantees do not hold, though empirical coverage remains valid (Section 3.3).”
Quote in the paperSubstantial claim- Also stated in: § Method Scope. · plain
May combine two claims.
PremisecitationMondrian CP calibrates separately per group, achieving group-conditional coverage validity.
“Mondrian CP [36] addresses this by calibrating separately per group, achieving group-conditional coverage validity, i.e., P[Y ∈ Ĉ(x)|G = g] ≥ 1α for each group g.”
- Also stated in: § 3.2. Mondrian Conformal Prediction · plain
“Mondrian CP [36] calibrates separately per group:”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [36]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Also stated in: § 3.2. Mondrian Conformal Prediction · plain
May combine two claims.
InterpretationreasoningThe analogy to Kleinberg et al. is direct: Mondrian CP targets coverage parity via group-conditional validity, but this necessitates different thresholds per group, leading to different set sizes and hence different deferral rates.
“The analogy to Kleinberg et al. is direct: Mondrian CP targets coverage parity via groupconditional validity (analogous to calibration, where predictions mean the same thing across groups), but this necessitates different thresholds per group, leading to different set sizes and hence different deferral rates (analogous to unequal error rates).”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites Kleinberg et al.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
Interpretationown dataFor aggressive coverage levels (α > 0.2), empty sets become more common and the deferral definition choice matters more.
“For aggressive coverage levels (α > 0.2), empty sets become more common and the deferral definition choice matters more.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
InterpretationreasoningThe deferral rule |Ĉ(x)| > 1 captures exactly the cases where the model cannot distinguish between classes at the target confidence level.
“The deferral rule | Ĉ(x)| > 1 captures exactly the cases where the model cannot distinguish between classes at the target confidence level.”
Quote in the paperNot a substantial claim
The authors state this as an assumption.
Human accuracy is group-invariant by construction.
“because human accuracy is group-invariant by construction.”
The paper relies on this without support.
Human decisions are independent of CP method.
“Since human decisions are independent of CP method, and non-deferred cases use invariant point predictions, final output EO is primarily determined by HITL protocol parameters, not CP choice.”
The authors state this as an assumption.
The main results assume uniform human accuracy (h0 = h1).
“Our main results assume uniform human accuracy (h 0 = h 1 ).”
“our HITL simulation assumes group-invariant human accuracy h”
The authors state this as an assumption.
The analysis assumes unbounded human review capacity.
“Our analysis assumes unbounded human review capacity.”
The authors state this as an assumption.
In the fixed-budget simulation, when deferred cases exceed review capacity, cases are selected uniformly at random (no priority queue) and unreviewed cases receive a default reject decision.
“when deferred cases exceed review capacity, cases are selected uniformly at random (no priority queue); unreviewed cases receive a default reject decision.”
The paper relies on this without support.
Human review is capacity-constrained, and higher deferral rates translate to longer queues.
“In practice, human review is capacity-constrained, and higher deferral rates translate to longer queues.”
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.
Final-output FNR differences exceed the stated 0.01 bound
MinorThe text says differences in final-output fairness are within 0.01, but Table 3 reports FNR gaps of 0.055 and 0.073-a difference of 0.018-and gives their maximum difference as 0.02.
“Small differences (within 0.01) arise from the stochastic HITL simulation”
“FNR gap (y f inal ) 0.055 ± 0.040 0.073 ± 0.062 0.064 ± 0.052 0.02”
Cites
The publisher hasn’t deposited this paper’s reference list.
Research works printed but not linked: 3
- Jiaye Huang, Huazhen Xi, Linjun Zhang, and Rina Foygel Barber. Conformal prediction with learned features. Journal of Machine Learning Research, 25:1-45, 2024. SAPS: Sorted Adaptive Prediction Sets.
- Jing Lei and Larry Wasserman. Distribution-free predictive inference for regression. Journal of the American Statistical Association, 109(507):1094-1114, 2014. doi: 10.1080/01621459.2014.881792. Proved exact conditional coverage impossible distribution-free. · DOI
- Harris Papadopoulos. Inductive conformal prediction: Theory and application to neural networks. Tools in Artificial Intelligence, pages 315-330, 2008. ICP theory and neural network applications.
Cited by
Sorted by citations
Conformal Prediction and the Many-Worlds of Fairness
Brodén, J., Simson, J., & Kern, C. A. (2026) · ACM Conference on Fairness, Accountability, and Transparency (FAccT) · doi:10.1145/3805689.3812391
- Authors
- Tasar, D. E.
- Corresponding author
- Tasar, Davut Emre
- ORCID
- Tasar, Davut Emre
- Venue
- Preprints.org
- Publisher
- MDPI AG
- Published
- 2025-12-30
- OpenAlex
- W7117697466
- Cited by
- 1
- References
- 0
- Citations by year
- 2026: 1
- Type
- posted content
- Language
- en
- Open access
- green
- doi.org
- Locations
- Preprints.org (acceptedVersion, cc-by)
- Topics
- Social Sciences › Safety Research › Ethics and Social Impacts of AI
- Physical Sciences › Computer Science › Artificial Intelligence › Explainable Artificial Intelligence (XAI)
- Physical Sciences › Computer Science › Artificial Intelligence › Machine Learning and Algorithms
- Keywords
- conformal prediction, Mondrian conformal prediction, algorithmic fairness, impossibility results, equalized odds, uncertainty quantification
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-10-30.
Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-10-30.
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