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.
Finite-round confidence-threshold pseudo-labeling
Definition
Let , let , and let be a finite metric space, meaning is symmetric, iff , and for all . The input is a nonempty ordered list of labeled examples with , a finite ordered set of unlabeled examples, an integer with , a confidence threshold , a pseudo-label weight , and a round cap . A true labeled record has weight ; a pseudo-labeled record has weight .
Maintain an ordered training list , initially , a remaining unlabeled set , initially , and an initially empty pseudo-label log. To predict at , order all records by increasing , where is their stable record index, and take the first records . For , put . Let be the smallest class index attaining , and define confidence . The denominator is positive because and every record weight is positive.
If , set status and skip the round loop. Otherwise, for rounds , compute all predictions from the same current list . Let . If , set status and leave the loop. Otherwise append one pseudo-labeled record for each , in the supplied order on , using its predicted class and weight ; append to the pseudo-label log, and remove all points in from . A pseudo-label is never revised. If the updated , set status and leave the loop. If all rounds finish without an earlier stop and points remain in , set status ; this includes the case .
For any query , define the returned classifier by the same nearest-record ordering and weighted vote using the final training list, with the smallest-index vote tie rule. In every case return that classifier, the pseudo-label log, the remaining unlabeled set, and the status. The procedure makes no population-risk or pseudo-label-correctness guarantee.
Definition references
Chapelle, Schölkopf, and Zien, Semi-Supervised Learning, Chapter 1 §1.3.2: iterative prediction-and-retraining context; the finite weighted k-nearest-neighbor procedure above is specified locally.
Used by
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Olivier Chapelle, Bernhard Schölkopf, and Alexander Zien (editors), Semi-Supervised Learning, MIT Press, 2006 (standard reference, not scraped)