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

Foundation Lab

Capability Elicitation & ELK

Safety evals must find worst-case, not average-case capability

Concept 93 of 100Scaling & AlignmentPhase 12
#93ElicitationScaling & Alignment
key equationg_\psi(h(x)) \approx z

Selected Foundation Object

Keep the equation fixed; move through the evidence.

Concept 93 of 100ElicitationScaling & Alignment / Phase 12: Advanced alignment & safety research
Current question

Scaffolding/prompting can dramatically change apparent capability

g_\psi(h(x)) \approx z
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

  • Safety evals must find worst-case, not average-case capability
  • ELK: can we trust what model says when it could be deceptive?
  • Core theoretical obstacle to alignment

What Tutorials Skip

What is still poorly explained in textbooks and papers:

  • Scaffolding/prompting can dramatically change apparent capability
  • Model may "know" truth internally but output something else
  • Probes on activations might extract honest beliefs

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
gψ(h(x))zg_\psi(h(x)) \approx z

Elicitation gap (capability as max over prompts):

Cap(M)=maxpPE[score(M,p)]\text{Cap}(M) = \max_{p \in \mathcal{P}} \mathbb{E}[\text{score}(M, p)]

ELK: extract truth from internals even when output unreliable:

gψ(h(x))zg_\psi(h(x)) \approx z

where h(x)h(x) = activations, zz = latent truth, even if output yzy \ne z.

Canonical Papers

ARC's First Technical Report: Eliciting Latent Knowledge

Christiano et al.2021Alignment Forum
Read paper →

Connections

Next Moves

Choose the next question to carry this object forward.