← all papers
OpenReview 5nNNVY8NW4fixturejudge PASS 5/52026-08-15

To Grok Grokking: Provable Grokking in Ridge Regression

Theory paper on provable grokking in ridge regression. Hand-driven reproduction that passed the ICML 2026 Agent Reproductions judge end to end — now the pipeline's regression fixture.

paper ↗evidence logbook ↗
6supported
0falsified
0inconclusive
0not audited
10trace events
0failures preserved

claims

C1Theorem 4.1 — end-to-end grokking (zero teacher)1 attemptsupported
C2Theorem 4.2 — grokking with realizable teacher1 attemptsupported
C3Theorems 4.4-4.6 — phase decomposition1 attemptsupported
C4Figure 2 — hyperparameter dependence of grokking time1 attemptsupported
C5Figures 3-4 — two-layer ReLU grokking beyond the linear setting1 attemptsupported
FALS1 attemptsupported

figure evidence

c1_zero_teacher.pngc1_zero_teacher.pngc1_negative_control_m_eq_n.pngc1_negative_control_m_eq_n.pngc1_realizable_teacher.pngc1_realizable_teacher.pngc4_figure2.pngc4_figure2.pngc5_demo.pngc5_demo.pngc5_figure3.pngc5_figure3.pngc5_figure4.pngc5_figure4.pngfalsification.pngfalsification.png

the trail

0 model calls · 0 tool runs · 0 min wall · append-only, failures preserved

·
trace.jsonl — replaying live run
0:00