What Should Data Teach? Moving Bottlenecks Across Circuit, Store, and Use
Organizations: AI Data, Tencent · Harvard University · AMS, Tencent
Abstract
What should data teach a language model at a particular point in training? A circuit view reveals three distinct bottlenecks: forming a computation, making its required content available, and selecting among available routes. A shared diagnosis-to-data principle connects them: localize the missing operation, preserve its causal relation, vary shortcut-bearing context, and re-audit the residual. Formation-sensitive selection and prerequisite ordering accelerate a binding-matching-transport path; a brief early prefix from the same training multiset retains a validation advantage through 100B tokens. Availability counterfactuals then distinguish writing content from invoking available memory, while paired supervision and context-opportunity ranking improve matched route decisions and long-context answer likelihood. A continuous 350M-model experiment connects the three interventions on the same facts: early circuit training improves subsequent learning, and the complete sequence outperforms stage-replacement controls on facts withheld from Use teaching. Independent query surfaces and opposed-source decisions expose conditional arbitration as the remaining frontier. Together, these results show why a change in the limiting operation calls for a change in supervision, not merely a new ranking of difficult examples.
Figures & tables
| Stage | Missing operation | Diagnostic | Intervention | Residual bottleneck |
|---|---|---|---|---|
| Circuit | path not formed | component gradients / formation-time MDA | mechanism-matched ordering | content unavailable Store |
| Store | required content unavailable | M-only / evidence counterfactuals | Write; test invocation at the boundary | selection conflict Use |
| Use | which circuit/source wins | query-conditioned routing probes | paired routing / CCUR | multi-arm arbitration open |
| Arm | Active operation | M-only gain | Natural-use gain | B accuracy (%) |
|---|---|---|---|---|
| C0 | matched controls | 0.636 | 0.894 | 82.03 |
| C1 | Write | 0.740 | 0.971 | 83.98 |
| C2 | Use | 0.723 | 1.201 | 93.36 |
| C3 | Write + Use | 0.806 | 1.294 | 95.31 |
| Training route | Joint-use NLL | Pair accuracy (%) |
|---|---|---|
| Complete sequence | 2.970 | 5.26 |
| No early curriculum | 3.050 | 3.39 |
| Control facts in Store | 3.245 | 1.41 |
| Unpaired Use | 3.019 | 3.18 |
| Ordinary continuation | 3.870 | 0.99 |
Appendix figures & tables44 assets
Supplementary material from the paper’s appendix.
Appendix
| Block | Item | Specification | Pair status |
|---|---|---|---|
| Model | Architecture | GPT decoder; 28 layers; ; SwiGLU 5,120 | matched |
| Model | Parameters | ,484,900,352 | matched |
| Model | Attention | -head MHA; RoPE; SDPA | matched |
| Model | Norm / vocab | RMSNorm; 65,536 tokens | matched |
| Input | Sequence / batch | ,048 tokens; 512 sequences (1,048,576 targets/update) | matched |
| Train | Optimizer | AdamW; ; weight decay 0.1 | matched |
| Evidence | Model / start | Matched object | Support |
|---|---|---|---|
| Moving residual | .485B pair | dynamic identities; 32 fixed-stratum cases; 942 conflicts | separate frozen panels |
| MDA teacher time | M proxy; 1.485B target | formation-time vs endpoint-time MDA; matching-only selection | run per arm |
| Circuit confirmation | Pythia-style 160M @100M tokens | clean/swap, binding ablation, forced transport | runs 3 domains |
| Order | Pythia-style 160M | same selected multiset; 2.5B endpoint | run per arm |
| Exit | .485B target | same multiset; 3B endpoint | run per arm |
| Long horizon | .485B target | same 100B multiset, positions only | dense 75–100B trajectory |
| Model | Configuration |
|---|---|
| Pythia 160M auxiliary | GPT-NeoX; 12 layers; width 768; 12 heads; FFN 3,072; GELU; LayerNorm; official 50,304-token vocabulary and tokenizer |
| M selector teacher | ,746,176 parameters; 22 layers; width 1,024; 16-head MHA; SwiGLU 2,816; RMSNorm; RoPE; tied embeddings; primary 65,536-token tokenizer |
| Teacher training | ,048-token sequences; effective batch 512; AdamW, , weight decay 0.1; LR to ; 95 warm-up updates; cosine schedule to 3B |
| Arm | Tokens | C share | S share | U share | L share | Mass |
|---|---|---|---|---|---|---|
| Ordinary | 0.3B | 25.88 | 25.35 | 24.68 | 24.09 | 194.42 |
| Ordinary | 1.2B | 9.80 | 49.63 | 2.64 | 37.92 | 103.40 |
| Ordinary | 3B | 4.67 | 51.95 | 1.42 | 41.96 | 82.27 |
| Ordinary | 100B | 2.56 | 44.84 | 0.00 | 52.60 | 60.00 |
| Curriculum | 0.3B | 25.80 | 25.00 | 25.67 | 23.53 | 199.02 |
| Curriculum | 1.2B | 2.96 | 54.92 | 2.17 | 39.95 | 90.56 |
| Arm | Tokens | C | S | U | Mass | Arm | Tokens | C | S | U | Mass |
|---|---|---|---|---|---|---|---|---|---|---|---|
| O | 0.100 | 35.74 | 11.34 | 52.91 | 2430.94 | C | 0.100 | 33.53 | 11.87 | 54.60 | 2277.94 |
| O | 0.481 | 12.27 | 10.60 | 77.12 | 2132.58 | C | 0.481 | 7.78 | 8.14 | 84.08 | 2058.97 |
| O | 0.800 | 5.75 | 9.39 | 84.86 | 1420.16 | C | 0.800 | 3.40 | 10.67 | 85.93 | 1209.27 |
| O | 1.200 | 4.74 | 15.19 | 80.08 | 1136.97 | C | 1.200 | 1.25 | 17.21 | 81.53 | 926.17 |
| O | 3.000 | 1.99 | 23.23 | 74.77 | 740.32 | C | 3.000 | 5.74 | 23.93 | 70.33 | 771.53 |
| O | 30.00 | 2.93 | 13.39 | 83.68 | 536.51 | C | 30.00 | 2.35 | 13.85 | 83.80 | 585.74 |
| Arm | Tokens | Circuit cases | Circuit mass | Circuit share | Total mass / solved |
|---|---|---|---|---|---|
| Ordinary | 0.3B | 37 | 227.10 | 13.7% | 1658.47 / 0 |
| Curriculum | 0.3B | 50 | 318.19 | 19.0% | 1673.17 / 0 |
| Ordinary | 0.6B | 9 | 41.80 | 3.1% | 1364.17 / 7 |
| Curriculum | 0.6B | 1 | 8.14 | 0.7% | 1243.58 / 20 |
| Ordinary | 1.2B | 0 | 0.00 | 0.0% | 906.40 / 66 |
| Curriculum | 1.2B | 0 | 0.00 | 0.0% | 834.39 / 94 |
| Audit or quantity | Setting or observed range |
|---|---|
| Positive strong-rule threshold multipliers | |
| Changed assignments | .8–3.1% |
| Actionable Circuit / Use shares | .0–19.2% / 80.8–82.0% |
| Natural-case severity cutoffs | |
| Ordinary Circuit share at 0.3B | .7–26.3% across the cutoff grid |
| Ordinary Circuit share at 100B | .1, 4.6, 2.6, 0, 0%, in cutoff order |
| View | Cases | Ordinary NLL | Curriculum NLL | Gap | Target top-1 |
|---|---|---|---|---|---|
| Original Web continuation | 435 | 4.821 | 5.719 | 0.898 | 31.3 / 16.6 |
| Context QA | 435 | 5.288 | 5.575 | 0.288 | 45.1 / 42.1 |
| Paraphrased context QA | 435 | 5.115 | 5.444 | 0.329 | 46.9 / 43.4 |
| Minimal-source QA | 435 | 4.556 | 4.877 | 0.321 | 54.0 / 52.4 |
| Source-masked QA | 435 | 7.300 | 7.587 | 0.287 | 19.3 / 15.6 |
| Shuffled-context QA | 435 | 7.893 | 8.041 | 0.148 | 11.7 / 8.5 |
| Domain | Binding | Matching | Transport | ||||
|---|---|---|---|---|---|---|---|
| Clean–corrupt | Patch | Clean | Swapped | Q/K NLL | Eligible | V/O NLL | |
| Web | .00703 | .00575 | .00958 | .09406 | 86 | .35515 | |
| Math | .00748 | .00326 | .04658 | .72399 | 139 | .68819 | |
| Code | .00690 | .00222 | .06866 | 1.18290 | 124 | 1.14056 | |
| Overall NLL | Ambiguous recall NLL | |||
|---|---|---|---|---|
| Tokens | Formation | Endpoint | Formation | Endpoint |
| 0.1B | 7.58435 | 7.57876 | 6.48897 | 6.46127 |
| 0.2B | 6.28988 | 6.30441 | 4.97248 | 4.97939 |
| 0.3B | 5.70661 | 5.74712 | 4.37319 | 4.42689 |
| 0.45B | 5.10654 | 5.11048 | 3.71070 | 3.66996 |
| 0.6B | 4.58137 | 4.59874 | 2.75410 | 2.74828 |
| Teacher | Selection order | Binding | Matching | Induction | Overall NLL | Ambiguous recall NLL |
|---|---|---|---|---|---|---|
| Formation | Joint-to-matching | .7128 | .3071 | 2.4977 | 4.8303 | 3.0933 |
| Formation | Matching-only | .7084 | .2964 | 2.4410 | 4.8223 | 3.0960 |
| Endpoint | Joint-to-matching | .6996 | .2903 | 2.4098 | 4.8392 | 3.1095 |
| Endpoint | Matching-only | .7141 | .2709 | 2.2298 | 4.8513 | 3.1117 |
| Order | Overall | Math | Code | Ambiguous recall NLL | Web |
|---|---|---|---|---|---|
| Joint-to-matching | 7.6686 | 18.3830 | 4.0426 | 0.6923 | 41.4245 |
| Interleaved | 7.6872 | 18.4269 | 4.0561 | 0.6955 | 41.3716 |
| Matching-to-joint | 7.7018 | 18.4238 | 4.0703 | 0.7026 | 41.2755 |
| Exit | Overall | Code | STEM | Books | Papers | English Web | Chinese Web |
|---|---|---|---|---|---|---|---|
| Ordinary | 25.9247 | 3.7900 | 17.2590 | 29.6611 | 21.5048 | 35.3020 | 70.5480 |
| 0.3B | 25.8479 | 3.7790 | 17.2387 | 29.4727 | 21.5418 | 35.2636 | 70.0989 |
| 0.6B | 25.7401 | 3.7798 | 17.2283 | 29.2783 | 21.5368 | 35.1533 | 69.3255 |
| 1.2B | 25.6834 | 3.7703 | 17.1703 | 29.2310 | 21.4604 | 35.1711 | 68.9548 |
| 2.0B | 25.7771 | 3.7780 | 17.2160 | 29.4766 | 21.4597 | 35.2412 | 69.2234 |
| Tokens | Ordinary | Curriculum |
|---|---|---|
| 75B | 12.6560 | 12.6019 |
| 80B | 12.6177 | 12.5621 |
| 82B | 12.6043 | 12.5497 |
| 90B | 12.5714 | 12.5164 |
| 95B | 12.5625 | 12.5078 |
| 100B | 12.5580 | 12.5034 |
| Run | Overall PPL gain (%) | Ambiguous recall NLL direction |
|---|---|---|
| 1 | 1.26 | lower |
| 2 | 1.58 | lower by 0.00740 |
| 3 | 1.00 | higher by 0.00321 |
| Domain | Ordinary | Curriculum |
|---|---|---|
| Books | 15.4227 | 15.3798 |
| Chinese Web | 21.6994 | 21.3875 |
| Code | 2.4922 | 2.4882 |
| English Web | 16.9887 | 16.9355 |
| Papers | 11.2392 | 11.2190 |
| STEM | 9.2482 | 9.2225 |
| Selector | Frozen cases | Evidence-present accuracy |
|---|---|---|
| H/L/M M-causal gate | 2,048 | 100.00% |
| Blind/hard | 2,048 | 31.84% |
| Random hard | 2,048 | 5.08% |
| View | Input construction |
|---|---|
| M-only | Short factual question followed by Answer: ; no source passage. |
| Evidence | Original answer-containing passage followed by the same question. |
| Surface | The source sentence truncated immediately before its answer; scored as a completion. |
| Carrier A / B | The same question preceded by background with answer-containing sentences removed; A uses a Background instruction, B a Notes instruction. |
| Write steps | Exact margin | Unseen paraphrase | Broad NLL cost |
|---|---|---|---|
| 12 | +0.01296 | +0.02679 | +0.227% |
| 14 | +0.03729 | +0.02959 | +0.298% |
| 15 | +0.05009 | +0.02910 | +0.328% |
| 16 | +0.05744 | +0.03181 | +0.358% |
| 20 | +0.07162 | +0.03394 | +0.674% |
| Cue view | Parent | Correct pairing | Wrong pairing |
|---|---|---|---|
| Exact | |||
| Unseen paraphrase |
| Arm | Active operation | M-only | Carrier A | Carrier B | A/B mean | Drag change |
|---|---|---|---|---|---|---|
| C0 | matched controls | 0.636 | 0.901 | 0.887 | 0.894 | |
| C1 | Write | 0.740 | 0.975 | 0.967 | 0.971 | |
| C2 | Use | 0.723 | 1.213 | 1.189 | 1.201 | |
| C3 | Write + Use | 0.806 | 1.307 | 1.282 | 1.294 |
| Population | Contrast | Value |
| Dragged | Write main effect | 0.085 |
| Dragged | Use main effect | 0.315 |
| Dragged | Write Use interaction | 0.016 |
| Non-drag control | Write-only drag change | |
| Non-drag control | Use-only drag change | |
| Frozen Store (Store41) | Target-NLL decrease | 1.903 |
| Fact | Question | Edited passage | Knowledge |
|---|---|---|---|
| A | What is the capital of France? | Capital: Rome | Paris |
| B | What is the capital of Germany? | Capital: Vienna | Berlin |
| Checkpoint | Arm | Override | Reject | Strict pair | Strict family |
|---|---|---|---|---|---|
| +100M | Ordinary | 73.57 | 23.23 | 4.27 | 0.10 |
| +100M | Balanced unpaired | 73.47 | 34.70 | 9.43 | 1.00 |
| +100M | True paired | 73.53 | 39.67 | 13.83 | 1.90 |
| +150M | Ordinary | 74.77 | 22.63 | 4.47 | 0.00 |
| +150M | Balanced unpaired | 74.10 | 35.37 | 10.60 | 0.80 |
| +150M | True paired | 77.13 | 37.03 | 14.87 | 2.90 |
| Round | Ordinary@100M | Paired@100M | Ordinary@150M | Paired@150M |
|---|---|---|---|---|
| 3 templates | 7.00 | 5.45 | 6.55 | 4.55 |
| 32 templates | 2.35 | 2.95 | 2.60 | 2.70 |
| 10 families | 6.70 | 2.95 | 6.60 | 2.95 |
| Pair-worst | 6.70 | 3.75 | 6.60 | 3.85 |
| Checkpoint | Arm | 4K | 8K | 12K |
|---|---|---|---|---|
| Midpoint | LongCE | 4.2271 | 4.5152 | 4.4247 |
| Midpoint | Score-shuffled | 4.1894 | 4.4917 | 4.4060 |
| Midpoint | CCUR | 4.1479 | 4.4368 | 4.3580 |
| Endpoint | LongCE | 3.5081 | 3.7562 | 3.8365 |
| Endpoint | Score-shuffled | 3.4721 | 3.7069 | 3.7906 |
| Endpoint | CCUR | 3.4103 | 3.6264 | 3.7179 |
| Length | Control | NLL gain | 95% interval |
|---|---|---|---|
| 4K | LongCE | 0.0979 | [0.0928, 0.1031] |
| 4K | Score-shuffled | 0.0618 | [0.0574, 0.0663] |
| 8K | LongCE | 0.1298 | [0.1223, 0.1374] |
| 8K | Score-shuffled | 0.0806 | [0.0741, 0.0872] |
| 12K | LongCE | 0.1186 | [0.1109, 0.1264] |
| 12K | Score-shuffled | 0.0727 | [0.0665, 0.0790] |
| View/test | Full | Local only | Full local | Source removal | Swap winner | Swap value |
|---|---|---|---|---|---|---|
| Gain | .00789 | .01424 |
| Checkpoint | Arm | Context override | Memory reject | Both |
|---|---|---|---|---|
| Midpoint | LongCE | 38.55 | 59.60 | 1.70 |
| Midpoint | CCUR | 38.90 | 58.65 | 1.15 |
| Endpoint | LongCE | 40.55 | 55.85 | 1.30 |
| Endpoint | CCUR | 41.10 | 55.00 | 1.20 |
| Audit | Arm or class | Value |
| Route offset | Ordinary | 0.0282 |
| True paired | 0.1009 | |
| Reversed relation | ||
| Overall PPL | LongCE | 19.3240 |
| CCUR | 19.1569 | |
| BridgeSet NLL gain | Circuit | .00281 |
| Stage | Condition | Result |
| Gate | Empty target, replacement character, or no alphanumeric character | Invalid |
| or source-only target rank | Available source | |
| or full NLL or | Bad output | |
| Bad output and or or | Actionable | |
| Valid but nonactionable | Nonactionable | |
| Strong rules, in precedence order | ||
| Item | Setting |
|---|---|
| Teacher parameters | ,746,176 |
| Teacher checkpoints | Binding: 200.278M tokens; matching formation: 1.501B; endpoint: 3.000B |
| Matching components | Teacher Q/K heads L9H5 and L9H13 |
| Prefix allocation | Joint selection 40%; matching-only 60% |
| Primary prefix | ,701 joint + 352,051 matching-selected sequences; 1.2017B tokens |
| Domain slots | Code 10%, STEM 10%, Books 25%, Papers 15%, English Web 25%, Chinese Web 15% |
| Item | Setting |
|---|---|
| M-missing gate | ,000 candidates; 11,997 valid; 2,220 M-missing |
| Natural-use filtering | ,468 complete-view candidates; 7,247 M-available; 2,212 strict-drag cases |
| Natural factorial | dragged facts + 512 matched non-drag controls |
| Slot schedule | Write and Use slots, each repeated 3 times among 24 updates |
| Packed row | Four independently attended 512-token segments; one supervised target/segment |
| Parent / learning rate | Same 100B model and optimizer; |
| Item | Setting |
|---|---|
| Full window / scored positions | ,384 tokens / 4,096–16,383 ( targets) |
| Target blocks / local history | Twelve 1,024-target blocks / 4,096 preceding tokens |
| Context extension | K 16K; linear RoPE scaling by 8 ( Chen et al., 2023b ) |
| Learning rate / batch | / 64 complete windows per update |
| Original window pool | ,170 windows across 8 source shards |
| Difficulty strata | High-full-NLL half of each shard; 20 equal-frequency bins |
| Stage | Updates | Effective batch | Input positions | Learning rate |
|---|---|---|---|---|
| Pretraining (each A/B) | 2,861 | 512 | 2,999,975,936 | shared schedule |
| Store (each parent) | 381 | 64 | 49,938,432 | |
| Use (ordinary stream) | 96 | 512 | 100,663,296 |
| Partition | Facts | Store-taught | Use-taught |
|---|---|---|---|
| Use teaching | 384 | yes | yes |
| Common tracking | 640 | yes | no |
| Development | 256 | yes | no |
| Route | Node | Reading NLL | Memory NLL | Joint-use NLL |
|---|---|---|---|---|
| A | Pretraining | 3.156392 | 6.025372 | 3.863549 |
| A | Store | 2.179583 | 4.426465 | 3.192157 |
| A | Use | 2.170958 | 4.371545 | 3.050034 |
| B | Pretraining | 3.136392 | 5.995372 | 3.839549 |
| B | Store | 2.139583 | 4.346465 | 3.132157 |
| B | Use | 2.130958 | 4.291545 | 2.970034 |
| Contrast | A | B | B minus A |
|---|---|---|---|
| Store: memory before minus after | 1.599 | 1.649 | 0.050 |
| Use: joint-use before minus after | 0.142 | 0.162 | 0.020 |
| Route | Memory NLL | Joint-use NLL | Pair accuracy | Pair-NLL wins |
|---|---|---|---|---|
| Complete sequence | 4.292 | 2.970 | 5.26% | — |
| No early curriculum | 4.372 | 3.050 | 3.39% | 58.28% |
| Control facts in Store | 5.220 | 3.245 | 1.41% | 79.74% |
| Unpaired Use | 4.289 | 3.019 | 3.18% | 55.10% |
| Ordinary continuation | 6.026 | 3.870 | 0.99% | 91.77% |
| Node or control | Reading margin | Memory margin | Pair NLL | Both correct |
|---|---|---|---|---|
| A pretraining | +1.375 | 5.144 | no | |
| B pretraining | +1.450 | 5.100 | no | |
| B + target Store | +6.250 | +8.938 | 3.300 | no |
| Complete sequence | +5.062 | +7.031 | 2.850 | yes |
| No early curriculum | +4.188 | +5.312 | 3.011 | no |
| Unpaired Use | +4.312 | +6.469 | 2.975 | no |
Language Model Pretraining
Language model pretraining teaches models language patterns and knowledge from large text corpora before they are adapted to specific tasks.
See all 441 papers