Alphabeta Math
AlgorithmAlgorithm: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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 q≥2, let C={1,…,q}, and let (X,d) be a finite metric space, meaning d:X×X→[0,∞) is symmetric, d(x,y)=0 iff x=y, and d(x,z)≤d(x,y)+d(y,z) for all x,y,z. The input is a nonempty ordered list S0=((xi,yi))i=1m of labeled examples with yi∈C, a finite ordered set U0⊆X∖{x1,…,xm} of unlabeled examples, an integer k with 1≤k≤m, a confidence threshold τ∈[1/q,1], a pseudo-label weight λ>0, and a round cap T∈N0. A true labeled record has weight 1; a pseudo-labeled record has weight λ.

Maintain an ordered training list Rt, initially S0, a remaining unlabeled set Ut, initially U0, and an initially empty pseudo-label log. To predict at x∈Ut, order all records (xi,yi,wi)∈Rt by increasing (d(x,xi),i), where i is their stable record index, and take the first k records Nt(x). For c∈C, put Vt,c(x)=∑(xi,yi,wi)∈Nt(x)wi1{yi=c}. Let y^t(x) be the smallest class index attaining max⁡cVt,c(x), and define confidence κt(x)=max⁡cVt,c(x)/∑cVt,c(x). The denominator is positive because k≥1 and every record weight is positive.

If U0=∅, set status no-unlabeled-inputs and skip the round loop. Otherwise, for rounds t=0,…,T−1, compute all predictions from the same current list Rt. Let At={x∈Ut:κt(x)≥τ}. If At=∅, set status no-additions and leave the loop. Otherwise append one pseudo-labeled record for each x∈At, in the supplied order on U0, using its predicted class and weight λ; append (t,x,y^t(x),λ) to the pseudo-label log, and remove all points in At from Ut. A pseudo-label is never revised. If the updated Ut=∅, set status all-labelled and leave the loop. If all T rounds finish without an earlier stop and points remain in Ut, set status round-cap; this includes the case T=0.

For any query x∈X, 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