FoundationsChecking saved investigationReading browser-local route memory before showing a continuation.

Foundation Lab

Weak-to-Strong Generalization

Directly studies "how do we supervise something smarter than us?"

Concept 88 of 100Scaling & AlignmentPhase 12
#88Weak→StrongScaling & Alignment
key equation\mathbb{E}[\ell(S(x), y)] - \mathbb{E}[\ell(S(x), \tilde{y})]

Selected Foundation Object

Keep the equation fixed; move through the evidence.

Concept 88 of 100Weak→StrongScaling & Alignment / Phase 12: Advanced alignment & safety research
Current question

Like student learning from flawed teacher but getting it right

\mathbb{E}[\ell(S(x), y)] - \mathbb{E}[\ell(S(x), \tilde{y})]
PredictionCommit before the demo.

Ask what should change when the equation is manipulated, then let the visualization test that expectation.

EvidenceCompare local witness and source.

Use the runnable panel, the key equation, and canonical papers as separate forms of evidence for the same object.

InvariantName what survives notation changes.

The useful learning product is the reusable mechanism you can carry into another model, paper, or engineering tradeoff.

Next moveContinue through the atlas.

Use prerequisites, dependents, and semantic links to repair the next gap without leaving the object behind.

Why It Matters for Modern Models

  • Directly studies "how do we supervise something smarter than us?"
  • Turns alignment into measurable ML generalization problem
  • Strong models recover capability beyond what weak labels provide

What Tutorials Skip

What is still poorly explained in textbooks and papers:

  • Like student learning from flawed teacher but getting it right
  • Model internalizes patterns, generalizes beyond noisy labels
  • Confidence-based losses help filter weak label errors

Interactive Visualization

Core Math (Optional Deep Dive)

If you want intuition first, start with the key equation and the visualization. Come back here for the full walkthrough.

Key Equation
E[(S(x),y)]E[(S(x),y~)]\mathbb{E}[\ell(S(x), y)] - \mathbb{E}[\ell(S(x), \tilde{y})]

Strong model SS trained on weak labels y~=W(x)\tilde{y} = W(x):

y~p(y~y),yp(yx)\tilde{y} \sim p(\tilde{y}|y), \quad y \sim p(y|x)

Training minimizes E[(S(x),y~)]\mathbb{E}[\ell(S(x), \tilde{y})] but we care about E[(S(x),y)]\mathbb{E}[\ell(S(x), y)].

Gap = true performance - weak label performance.

Canonical Papers

Weak-to-Strong Generalization: Eliciting Strong Capability with Weak Supervision

Burns et al.2023OpenAI
Read paper →

Connections

Next Moves

Choose the next question to carry this object forward.