How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Three distinct calibration notions in three classes
Example
For each of three models let and have their full power-set sigma-algebras, let be uniform on , set , and specify the conditional law of at by the row . In Model A take In Model B take In Model C take Use the smallest-index rule to break top-class ties. Model A is classwise and top-confidence calibrated but not fully reliable; Model B is top-confidence calibrated but neither classwise calibrated nor fully reliable; Model C is classwise calibrated but neither top-confidence calibrated nor fully reliable. Hence the three calibration notions are pairwise distinct.
Example references
Probability calibration and calibration error: defines full reliability, classwise calibration, top-confidence calibration, and smallest-index tie breaking.
Vaicenavicius et al., full paper PDF: Sections 2–3 discuss these distinct finite-label calibration conditions.
Facts & Assumptions
Given: The three finite models and forecasts displayed in the example.
Full reliability requires the conditional label vector to equal the forecast at each atom when forecast values distinguish the atoms; classwise calibration groups atoms by each coordinate of the forecast; top-confidence calibration groups by maximum forecast coordinate and evaluates the tie-broken predicted label. Probability calibration and calibration error
Verification
Each forecast row and each conditional-label row in Models A, B, and C has nonnegative coordinates summing to one, so all entries define simplex forecasts and conditional label distributions. In each model the three forecast vectors are distinct. Therefore full reliability would require at every row by [F1], but Model A row 1, Model B row 1, and Model C row 1 each have . Full reliability fails in all three models.
In Model A, for each label the groups with forecast coordinate have conditional frequency , and the groups with coordinate have average conditional frequency : for labels 1, 2, and 3 the latter averages are respectively , , and . Thus Model A is classwise calibrated. Its top confidence is always , its predicted labels are in the three rows, and each corresponding conditional correctness probability is , so it is top-confidence calibrated.
In Model B the top confidence is always , the predicted labels are , and the average conditional correctness is , so top-confidence calibration holds. Classwise calibration fails because forecast coordinate occurs only in row 1, where .
In Model C, for each label the forecast coordinate group has average conditional frequency , and the coordinate group has frequency : the three nonzero-group averages are , , and . Thus classwise calibration holds. All top confidences equal ; the tie-broken predicted labels are , with conditional correctness probabilities . Their average is , so top-confidence calibration fails. Steps 1.1, 1.2, and 1.3 establish the other model claims; the Model C calculation completes the pairwise distinctions.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
5 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Vaicenavicius et al., Evaluating Model Calibration in Classification, PMLR 89 (2019), Sections 2–3 (standard reference, not scraped)