Computational notebook · Lab 01—06

Inspect the decision, not only the output.

Small, inspectable instruments for reasoning about structured prediction, retrieval, and video understanding.

1 runnable study5 instrument notes

Current instrument / 01

A decoding trace you can interrupt.

Adjust the local evidence, then watch dynamic programming preserve only the best partial sequence for each label. The last step follows those saved decisions backward.

Interactive notebook · 01

Viterbi decoder

Find the highest-scoring label sequence without enumerating every possible path.

Step 0 / 4Set the evidence
xAspirint1relievest2paint3

A · local evidence

Emission scores

Strong local evidence makes the best path easy to read.

Editable emission scores for each token and label
TokenB-DRUGOB-SYM
Aspirin
relieves
pain

B · sequence prior

Transitions

from ↓ · to →
Transition scores from the row label to the column label
AᵢⱼB-DRUGOB-SYM
B-DRUG-0.60.80.1
O0.20.50.7
B-SYM-0.50.4-0.2

C · dynamic program

Score table + backpointers

δt(j) = et(j) + maxit−1(i) + Aij]
Viterbi scores and selected previous labels by token
StateAspirint1relievest2paint3
B-DRUGdrug
Ooutside
B-SYMsymptom
Set the evidence

Choose a preset or edit an emission. Then advance to calculate one token at a time.

Focus this panel: use ←/→ to step, space to play, and R to reset.

How to read it

Scores accumulate left to right.

Each table cell combines one emission with the best incoming transition.

Arrows preserve argmax choices.

They are backpointers, not attention weights or probabilities.

Backtracking is delayed.

The optimal labels become known only after the final column is scored.

Notebook queue / 02—06

Instruments being shaped

Each entry begins with one technical question and one inspectable artifact. These are design notes, not finished demos.

02
Designing

CRF Transition Matrix Explorer

When does a sequence prior outweigh strong token-level evidence?

Matrix perturbation · path sensitivity

03
Planned

Biomedical Entity Linking Retrieval Explorer

How do lexical and dense retrieval fail on different clinical mentions?

Candidate ranks · score decomposition

04
Prototyping

Shot Boundary Timeline

Which temporal signals separate a hard cut from rapid camera motion?

Frame strip · boundary confidence

05
Planned

Keyframe Similarity Explorer

How much visual redundancy remains after shot-aware sampling?

Embedding distance · threshold sweep

06
Research note

Attention Map Viewer

What changes when attention is compared across heads and layers?

Token matrix · head comparison