
Paper: 2606.26050 Authors: Juliana Li, Diya Sreedhar Categories: cs.LG, cond-mat.dis-nn, cs.AI, cs.CL
The Gap
Existing work on “grokking” — sudden generalization after overfitting — focuses on late-stage rule emergence, often in controlled synthetic settings. Prior work assumes that once a rule is learned during pretraining, it either persists or degrades only through catastrophic forgetting (explicit data deletion). The specific boundary here: *rules can disappear during pretraining, not just after it, without any change to the training data’s evidence for that rule. The loss curve shows no signal. No prior work characterizes this within-run reversal or explains which rules survive based on corpus statistics alone.
[Problem: models forget learned rules mid-pretraining]
|
[Assumption: forgetting requires data deletion or signal in loss]
|
[Gap: rule disappears *while evidence stays*; loss is flat]
|
[Method: measure "support frequency" — how often rule wins in training stream]
|
[Evidence: support frequency predicts survival across corpora/seeds/budgets]
|
[Conclusion: a simple corpus statistic, not model arch, decides rule fate]
The Increment
One sentence: Before this paper, we didn’t know that a model’s decision to keep or drop a learned rule during pretraining is predictable from a single corpus statistic; after this paper, we can forecast rule survival and asymmetrically control it — destroy but not restore.
Core Mechanism
The method is not a new algorithm — it’s an experimental framework for measuring and controlling the natural emergence and collapse of simple rules during autoregressive language model pretraining. The core components are: (1) a training corpus structured with two competing patterns (a target rule like “female name -> she” and a higher-frequency surface alternative like “verb -> it”), (2) a metric called support frequency: the count of training examples where the rule “wins” (the correct next-token matches the rule’s prediction), and (3) a behavioral probe evaluating whether the model follows the rule on held-out inputs.
The data flow is: Corpus statistics → support frequency → log-probability margin between rule and competitor → behavioral probe score. The key operation is measuring at which support frequency the margin crosses zero (i.e., when the competitor becomes more probable than the rule). This zero-crossing precedes behavioral collapse by ~100 steps. The paper shows that across two corpora, three compute budgets, and three random seeds, the critical support frequency for survival is consistent. In a second experiment, they perform “in-place editing”: flipping supports to counter-evidence kills a rule with monotonic dose-response; flipping them back, even to absurdly high levels (450x natural survival level), cannot restore it.
[Corpus: two competing patterns]
|
[Count: support frequency = rule wins / total occurrences]
|
[Measure: log-probability(rule) - log-probability(competitor)]
|
[Predict: if margin cross zero? -> rule collapses in ~100 steps]
|
[Control: flip supports to counter-evidence -> monotonic kill]
|
[Control: flip back to supports -> NO recovery (asymmetric)]
Structural metaphor: A tide pool with two species of barnacles. The pool is the model’s internal representation of the pronoun-gender rule. Two barnacle species compete for space on a single rock: species R (the “rule” — female name -> she) and species C (the “competitor” — verb -> it). The “support frequency” is how often the daily tide brings nutrients specifically to species R. The “log-probability margin” is the visible boundary between the two colonies. When the tide shifts (support frequency drops below a threshold), the C colony overgrows the R colony completely within about 100 high tides — the boundary crosses zero. Now here’s the twist: if you *remove nutrients from R (flip to counter-evidence), the R colony shrinks reliably; but if you dump 450 times the natural nutrient level back onto R’s spot, the C colony does not retreat. The rock face is permanently claimed by C. The model doesn’t “forget” R — it gets displaced, and the displacement is one-way. That’s the asymmetry.
Key Concepts
-
Natural Ungrokking: The phenomenon where a language model learns a rule during pretraining, performs well on it, then spontaneously *reverses to near-zero performance — all while the training data still contains the same evidence for the rule. Unlike grokking (late emergence after overfitting), this is a within-run disappearance. The loss curve doesn’t blink. Example: at step 925, “Sue cried because ___” yields “she” with 0.94 accuracy; by step 3,500, same probe scores near zero, even though “she” still appears after female names in training data.
-
Support Frequency: A simple corpus statistic: count of training examples where a specific rule “wins” — i.e., where the correct next token matches the rule’s prediction (e.g., after a female name, the target token is “she”). This is NOT raw frequency of the rule’s trigger, but frequency of the *correct outcome matching the rule. The paper shows this single number (not ratio, not model size, not parameter count) is the decisive variable for whether a rule survives. Threshold: if support frequency falls below ~0.2% of tokens (exact number corpus-dependent), the rule collapses.
-
Asymmetric Control: The same experimental manipulation — flipping context-token pairs in the corpus — has opposite effects depending on direction. Flipping from supporting the rule to contradicting it (e.g., changing “Sue cried because she” to “Sue cried because he”) kills the rule with a clear dose-response: more flips → lower final probe score. But flipping from neutral/counter to supporting, even at 450x the natural support frequency, yields zero recovery. The model’s internal state is path-dependent: once the competitor displaces the rule, no amount of reinforcement re-instates it.
Framework Shift
Before (mainstream view): After (this paper):
[Pretraining step 0 -> learn rule [Pretraining step 0 -> learn rule
-> rule persists unless -> support frequency decides
data explicitly removed] survival; displacement is
one-way]
[Loss curve: source of truth] [Loss curve: blind to rule death]
[Forgetting: catastrophic, [Forgetting: natural, continuous,
event-driven] frequency-driven]
[Control: symmetric (add/remove) [Control: asymmetric (destroy only,
data -> rule appears/disappears] cannot restore)]
One sentence: From “rules are learned properties of model + data” to “rules are fragile demographic outcomes of corpus ecology, with irreversibility.”
Expert Assessment
Problem choice: Real gap. The “grokking” literature studies sudden *emergence, but this paper studies sudden disappearance during pretraining — a distinct phenomenon with different mechanisms. The problem is non-obvious (you’d think rules learned from evidence stay learned) and empirically clean.
Method maturity: Clever, not brute force. The experimental design is minimal but precise: synthetic corpora that isolate the variable of interest, pre-registered thresholds, no architectural hacking. One could argue for simpler approaches (e.g., just measuring token statistics), but the paper’s core insight *is that this simple statistic predicts behavior — which is the point.
Experimental integrity: High. Pre-registration of thresholds before reading data is the gold standard for avoiding p-hacking. Baselines include multiple seeds, budgets, and corpora. The Pythia checkpoint replication adds external validity. No red flags. The asymmetric control experiment is particularly clean: same manipulation, opposite results, monotonic dose-response on one side, flat zero on the other.
Writing quality: Well-structured but dense. The most under-explained section is the “in-place editing” experimental setup — the distinction between “flipping support to counter-evidence” and “injecting support back” is the crux of the asymmetry result, yet the mechanics (how exactly they edit the corpus) are glossed over in a paragraph. Rewriting this section with a concrete example corpus snippet would elevate the paper significantly.
Verdict: weak accept — clean, reproducible result with a surprising and well-demonstrated asymmetry, though limited scope (simple rules, tiny models).
Takeaways
Practitioners steal these specifics: (1) Monitor rule-specific probe scores, not just loss — loss is blind to rule-level forgetting. (2) Use support frequency as a diagnostic lens before training to flag rules likely to self-destruct mid-run. (3) If you want to permanently remove a behavior, know that adding counter-evidence works once, but cannot be reversed by adding more supporting data — the asymmetry is a design constraint, not a bug. This directly impacts data augmentation strategies for safety: you can “brainwash” a model by flipping a few examples, but the model won’t recover if you later add the correct examples back. Explicitly: for content moderation fine-tuning, drop the original supportive data forever; don’t count on re-adding it later.
论文: 2606.26050 作者: Juliana Li, Diya Sreedhar 分类: cs.LG, cond-mat.dis-nn, cs.AI, cs.CL
缺口
现有关于”领悟”(grokking)的研究关注的是训练后期规则的突然泛化。 通常发生在受控的合成环境中。 以往工作假设:一旦模型在预训练中学到一条规则, 它要么一直保持,要么只因为灾难性遗忘(明确删除数据)而退化。 本文填补的具体边界是: 规则可以在预训练过程中消失,不必在训练之后,且训练数据中对规则的证据没有变化。 损失曲线上没有任何信号。 没有前人工作刻画这种训练中途的逆转,或解释哪些规则仅凭语料库统计量就能存活。
[问题:模型在预训练中途遗忘已学规则]
|
[假设:遗忘需要数据删除或损失信号]
|
[缺口:规则消失时证据仍在;损失平坦]
|
[方法:测量"支持频率"——训练流中规则获胜的次数]
|
[证据:支持频率可预测存活,跨越语料、种子、预算]
|
[结论:简单的语料统计量(而非模型架构)决定规则命运]
增量
一句话: 本文之前我们不知道模型在预训练中保留还是丢弃一条已学规则可以由一个语料统计量预测; 本文之后,我们可以预测规则存活率并实现非对称控制——可摧毁但无法恢复。
核心机制
本文的方法不是新算法——而是一套实验框架,用于测量和控制自回归语言模型预训练过程中简单规则的自然涌现与崩溃。 核心组件包括:(1) 包含两种竞争模式的训练语料(目标规则如”女性名字 -> 她”和更高频的表面模式如”动词 -> 它”), (2) 一个叫支持频率的指标:训练样例中规则”获胜”的次数(正确下一个token符合规则预测), (3) 用于评估模型在保留输入上是否遵循规则的行为探针。
数据流是:语料统计→支持频率→规则与竞争者之间的对数概率差→行为探针分数。 关键操作是测量支持频率在哪个点使得概率差穿过零(即竞争者变得比规则更可能)。 这个零交叉在行为崩溃前约100步发生。 论文显示:两个语料、三个计算预算、三个随机种子下,用于存活的关键支持频率是一致的。 在第二个实验中,他们进行”原位编辑”:将支持对调为反例——规则被单调剂量依赖地杀死; 但将反例调回支持,即使调到自然存活水平450倍——规则也无法恢复。
[语料:两种竞争模式]
|
[计数:支持频率 = 规则获胜次数 / 总出现次数]
|
[测量:对数概率(规则) - 对数概率(竞争者)]
|
[预测:若概率差穿过零?-> 规则约100步后崩溃]
|
[控制:将支持调为反例 -> 单调杀死]
|
[控制:调回支持 -> 无恢复(非对称)]
结构性比喻:一个潮池里的两种藤壶物种。 潮池是模型对代词-性别规则的内部表征。 两种藤壶竞争同一块岩石上的空间:物种 R(规则——女性名字 -> 她)和物种 C(竞争者——动词 -> 它)。 “支持频率”就是每日潮汐给物种 R 带来营养的频率。 “对数概率差”是两个群落之间的可见边界。 当潮汐转变(支持频率低于阈值),C 群落在大约 100 个潮汐周期内完全覆盖 R 群落——边界越过零点。 关键点在于:如果你移除 R 的营养(将支持调为反例),R 群落可靠地缩小; 但如果你把450倍自然营养水平倒回 R 的位置——C 群落不会退让。 岩石表面被 C 永久占领。模型不是”遗忘”了 R——而是被替代了,且替代是单向的。 这就是非对称性。
关键概念
-
自然非领悟:语言模型在预训练过程中学会一条规则,表现良好,然后自发地**逆转*到接近零表现——而训练数据中对规则的证据依然存在。 与领悟(训练过拟合后突然出现)不同,这是训练中途的消失。 损失曲线上毫无波澜。 例子:在第925步,“Sue cried because ___“给出”she”的正确率是0.94; 到第3500步,同一探针得分接近零,尽管训练数据中”she”依然出现在女性名字之后。
-
支持频率:一个简单的语料统计量:训练样例中一条特定规则”获胜”的次数—— 即正确下一个token符合规则预测的次数(例如女性名字后目标token是”she”)。 这不是规则触发器的原始频率,而是正确结果符合规则的频率。 论文表明这个单一数字(不是比值、不是模型大小、不是参数数量)是决定规则是否存活的关键变量。 阈值:如果支持频率低于约0.2%的token(精确数字取决于语料),规则崩溃。
-
非对称控制:相同的实验操作——将语料中的上下文- token对调——根据方向产生相反效果。 将支持规则的对调为矛盾(例如将”Sue cried because she”改为”Sue cried because he”)会杀死规则,且剂量依赖显著:更多对调→更低的最终探针得分。 但将中性或反例调为支持,即使达到自然支持水平的450倍,恢复为零。 模型的内部状态是路径依赖的:一旦竞争者替代了规则,再多的强化也无法恢复。
框架转变
之前(主流观点): 之后(本文观点):
[预训练步骤0 -> 学习规则 [预训练步骤0 -> 学习规则
-> 除非明确删除数据,规则保持] -> 支持频率决定存活;
替代是单向的]
[损失曲线:真相来源] [损失曲线:对规则死亡视而不见]
[遗忘:灾难性、事件驱动的] [遗忘:自然的、连续的、频率驱动的]
[控制:对称的(添加/删除数据 [控制:非对称的(只能摧毁,
-> 规则出现/消失)] 不可恢复)]
一句话:从”规则是模型+数据的固有属性”到”规则是语料生态下的脆弱人口统计结果,且不可逆。“
专家评审
选题眼光: 真缺口。“领悟”文献研究突然**出现*,而本文研究预训练过程中的突然消失——这是不同的现象和机制。 问题非显然(你会觉得从证据中学到的规则会保持)且实验上干净。
方法成熟度: 巧劲,不是蛮力。实验设计极小但精准:合成语料隔离了感兴趣的变量,预注册阈值,没有架构改动。 可以说有更简单的方法(如仅测量token统计量),但论文的核心洞察就是这个简单统计量可以预测行为——这正是要点。
实验诚意: 高。在读取数据前预注册阈值是避免p-hacking的黄金标准。 基线包括多个种子、预算和语料。Pythia检查点的复现增加了外部效度。没有值得警惕之处。 非对称控制实验尤其干净:相同的操作,相反的结果,一边是单调剂量依赖,另一边是平坦零线。
写作功力: 结构良好但密度大。解释最不足的是”原位编辑”实验设置—— “将支持调为反例”与”将支持注入回来”之间的区别是非对称结果的关键, 但机制(具体如何编辑语料)只用一段话带过。 重写这一节,给出一个具体的语料片段例子,会显著提升整篇论文。
判决: 弱接收——干净、可复现的结果,非对称性令人惊讶且充分展示, 但范围有限(简单规则,小模型)。
要点总结
实践者可以”偷”走这些具体的想法: (1) 监控规则特定探针分数,不只是损失——损失对规则层面的遗忘是盲目的。 (2) 在训练前用支持频率作为诊断透镜,标记可能在训练中途自毁的规则。 (3) 如果你要永久移除一种行为,要知道添加反例一次有效,但无法通过之后添加更多支持数据来逆转—— 非对称性是设计约束,不是bug。这直接影响安全性的数据增强策略: 你可以通过翻转几个例子”洗脑”模型,但之后添加正确例子模型不会恢复。 具体来说:对于内容审核微调,永久丢弃原始支持数据;不要指望稍后重新添加。