Daily research notes22 min read

Error Geometry and the Teacher's Advantage

PolarGD · AOPD · Safety-probe scaling · Reading GD's max-margin bias

Three main readings connect spectral geometry, distillation signals, and label budgets; 11 briefs cover inference allocation, data selection, and technical blogs. The classic derives GD's max-margin direction from logistic regression.

MuonScaling lawsPost-trainingDeep learning theory
Daily classic · 2018GD max-margin bias
Main reading · New Muon preprintRead Sections 2-4, Theorems 1/3, finite NS, and the 90M-model experiment; no reproduction

Exact polar: the error spectrum controls progress

A Quadratic Lens on Muon's Polar Update: Benefits, Pitfalls, and the Role of Newton-Schulz
Egor Shulgin · Sam Laing · Antonio Orvieto · Peter Richtárik
First posted 2026-10-21 14:01 EDT · v1; October 23 listing

Exact line search compares directions on matrix quadratics without learning-rate scaling effects. The analyzed PolarGD has no momentum.[1]

Fixed left Hessian; full row rank is required below
f(E)=12tr⁡(E⊤HE),G=HE,E=X−X⋆,H≻0,E∈Rd×m,rank⁡(E)=d≤mf(E)=\tfrac12\operatorname{tr}(E^\top HE),\quad G=HE,\quad E=X-X^\star,\quad H\succ0,\quad E\in\mathbb R^{d\times m},\quad \operatorname{rank}(E)=d\le m
Theorem 3: nuclear norm determines one-step decrease
Q=polar⁡(HE),E+=E−∥HE∥∗tr⁡HQ,f(E+)f(E)=1−p(E),p(E)=∥HE∥∗2tr⁡(H)tr⁡(HEE⊤)Q=\operatorname{polar}(HE),\quad E^+=E-\frac{\|HE\|_*}{\operatorname{tr}H}Q,\quad \frac{f(E^+)}{f(E)}=1-p(E),\quad p(E)=\frac{\|HE\|_*^2}{\operatorname{tr}(H)\operatorname{tr}(HEE^\top)}
Proposition 2: the error matrix determines preconditioner conditioning
A=(HEE⊤H)−1/2H,Q=AE,A⊤A=(EE⊤)−1,κ(A)=κ(E)A=(HEE^\top H)^{-1/2}H,\quad Q=AE,\quad A^\top A=(EE^\top)^{-1},\quad \kappa(A)=\kappa(E)

If EE^T=cI, p(E)=1 gives one-step convergence. Even with H=I, nearly rank-deficient errors can make PolarGD much slower than GD. Finite NS amplifies tiny singular values approximately linearly instead of lifting them directly to one.[1]

EvidenceSetting / observation
Quadratic counterexampleH=I, d=10, initial singular values 1 and 10^-4; exact-polar loss ratio 0.64 after its first step; GD finishes in one
Measured spectrum90M Transformer, 1.8B tokens; roughly 1/4 of attention-momentum singular values lie in the five-step NS linear regime
The latter establishes that this spectral regime exists, without testing end-to-end gains from fewer NS steps.[1]
Main reading · New Wharton-author preprintRead Section 3, Lemma 3.1, external-teacher experiments, and Table 1

AOPD: teacher-preferred tokens may not help the student

When to Follow the Teacher: Advantage-Based On-Policy Distillation
Mahdi Sabbaghi · George Pappas · Hamed Hassani · Adel Javanmard
First posted 2026-10-22 13:05 EDT · v1

Let S be the frozen student rollout policy, T the teacher, R terminal reward, and H trajectory length. Q^S is expected reward after action a followed by student continuations; V^S averages over student actions. Weight teacher supervision by student advantage:[2]

An irrelevant fixed trajectory-length constant is omitted
AS(h,a)=QS(h,a)−VS(h),J(θ)=Eh∼dS∑aT(a∣h)AS(h,a)log⁡Sθ(a∣h)A^S(h,a)=Q^S(h,a)-V^S(h),\qquad J(\theta)=\mathbb E_{h\sim d_S}\sum_a T(a\mid h)A^S(h,a)\log S_\theta(a\mid h)

Separate continuations for every teacher action are unnecessary. Student trajectories and a baseline b independent of that trajectory, such as a leave-one-out mean, estimate the entire objective:[2]

Equation 3.6: unbiased if T>0 implies S>0; S, T, and history distributions are frozen
J^=R−bH∑t=0H−1[T(at∣ht)S(at∣ht)log⁡Sθ(at∣ht)−∑aT(a∣ht)log⁡Sθ(a∣ht)]\widehat J=\frac{R-b}{H}\sum_{t=0}^{H-1}\left[\frac{T(a_t\mid h_t)}{S(a_t\mid h_t)}\log S_\theta(a_t\mid h_t)-\sum_aT(a\mid h_t)\log S_\theta(a\mid h_t)\right]
Qwen3-1.7B studentOPD-FKLAOPD
AIME24 pass@132.1%35.0%
HumanEval+ pass@166.5%68.9%
Math / coding use 450 / 350 iterations, Qwen3-4B-Instruct / 8B teachers, and G=4 for both distillation methods.[2]
Main reading · New scaling preprintRead Sections 3-5, fitted forms, and limitations in Appendix B

Safety probes: estimate the floor before buying size or labels

Scaling Laws for Safety Probes
Yuchen Wu (University of Washington) · Jerry Wei (Anthropic)
First posted 2026-10-21 23:43 EDT (October 22 on arXiv) · v1

Probes read a fixed model's activations to detect safety attributes. Monitored-model size and labels form distinct budget axes. Six harder datasets reduce saturation seen on existing small datasets.[3]

Empirical fits: N is billions of parameters, D labels; CC++ uses g=1, while last-token probes fit g
E=1−AUROC,E∞(N)=AN−α,E(N,D)=E∞(N)+(0.5−E∞(N))BgBg+(DN)gE=1-\mathrm{AUROC},\qquad E_\infty(N)=AN^{-\alpha},\qquad E(N,D)=E_\infty(N)+\bigl(0.5-E_\infty(N)\bigr)\frac{B^g}{B^g+(D\sqrt N)^g}
D0 halves the chance-to-floor gap; the second expression algebraically inverts the fitted law
D0=BN,Dtarget=BN(0.5−E∞(N)Etarget−E∞(N)−1)1/g,E∞(N)<Etarget<0.5D_0=\frac B{\sqrt N},\qquad D_{\rm target}=\frac B{\sqrt N}\left(\frac{0.5-E_\infty(N)}{E_{\rm target}-E_\infty(N)}-1\right)^{1/g},\qquad E_\infty(N)<E_{\rm target}<0.5
ValidationResult
20 base models / five families; 32-10^6 labelsRefit constants per family / task / probe
Predicting the next size from smaller models72% of predictions miss by at most 0.02
45 eligible budget decisions73% choose the cheaper option under N times D cost
Budget cases require both options to reach the target and measured costs to differ at least twofold.[3]
BriefBased on the original abstract

Thought pruning: optimize the pool's probability of any success

Direct Pass@k Optimization for Thought Pruning: Balancing Quality and Diversity in Test-Time Reasoning
Mahdi Salmani · Adel Javanmard · Devansh Gupta · Meisam Razaviyayn
First posted October 22, 13:59 EDT · v1

Maximizing pass@k of retained reasoning prefixes combines quality and redundancy in one objective. Across eight open-weight models it beats quality- or diversity-based heuristics, especially for moderate retained pools; the abstract gives no budget-matched numerical comparison.[4]

BriefBased on the original abstract

R-squared-D: remask-denoise as an inference-scaling axis

Random Remasking Scales Masked Diffusion Inference
Zhaoyi Zhou · Frank Wu · Andrea Zanette
First posted October 22, 01:15 EDT · v1

A Markov chain over clean sequences motivates inference-only R-squared-D; TCT additionally trains on trajectory errors. Logical tasks show near-log-linear scaling, over 97% on hard Sudoku and over 99% on 3-SAT. These results cannot all be attributed to training-free R-squared-D alone.[5]

BriefBased on the original abstract

Dataweights: transfer learned weighting rules to larger models

High-Value Training Data from Noisy, Diverse Sources
Hedi Driss · Evan Frick · Anastasios N. Angelopoulos · Cho-Jui Hsieh · Yejin Huh · Tijana Zrnic · Andrew Ilyas
First posted October 21, 16:32 EDT · v1

Metagradients learn example weights against a small high-quality target set. Parametric weighting rules extend to new or streaming examples and larger models, with reward-modeling experiments on human/synthetic mixtures. The abstract establishes no universal cross-scale transfer guarantee.[6]

BriefBased on the original abstract

Replace unverifiable subset optimality with full-data faithfulness

Towards Faithful Data Selection: Statistical Limits and Scalable Algorithms
Ahmed Mehdi Inane · Mahdi Haghifam · Gintare Karolina Dziugaite · Ioannis Mitliagkas
First posted October 21, 16:51 EDT · v1

Population-optimal selection requires a validation set larger in order than training data. Under ULA training, accumulated gradient discrepancy bounds KL between subset- and full-data-trained parameter distributions. Accepted swaps reduce that bound, without guaranteeing monotonic improvements in population error.[7]

BriefBased on the original abstract

Width-depth training limits: clipping changes the convergence mode

Width and Depth Limits Commute During Training
Ruijia Zhang · Soufiane Hayou
First posted October 22, 00:56 EDT · v1

For linear ResNets with 1/sqrt(depth) Depth-muP scaling and muP width parameterization, any fixed clipped-GD horizon has the same L2 limit along all joint growth paths. Without clipping, only convergence in probability is established; nonlinear networks and long horizons are outside this result.[8]

BriefBased on the original abstract

A graph-search scaling wall can depend on supervision and tokenization

Multi-Token Prediction and Alternative Tokenization Improve Learning Latent Multi-Hop Graph Search at Scale
Arvid Frydenlund · FuTe Wong · Katherine Lambert · Frank Rudzicz
First posted October 22, 11:35 EDT · v1

Multi-token prediction and alternative tokenizations address separate barriers to shortest-path generation on unseen graphs. Authors report learning at larger graph scales than prior limits. This controlled latent graph-search result is not a general law of natural-language reasoning.[9]

BriefBased on the original abstract

One matched spectral statistic does not predict synthetic-data transfer

Is spectral predictability enough? Testing Omega-matching for synthetic pretraining under distribution shift
Edric Castel C. Hao · Juan Raphael S. Seña · Neon S. De Jesus
First posted October 22, 02:27 EDT · v1

Across LSTM, PatchTST, and TCN with three seeds, Omega-matched sine-plus-noise pretraining improves mean ETTm1 MSE by 2.3%, whereas matched chaotic-ODE sources worsen it by 13.2%. The negative result concerns source selection, not synthetic pretraining in general.[10]

BriefBased on the original abstract

Before routing inference, compare the predictor with self-confidence

Predictable performance is suboptimal, and what it means for model routing
Guanhua Zhang · Moritz Hardt
First posted October 22, 11:27 EDT · v1

A predictor's advantage over chosen-answer confidence transfers exactly to log-loss improvement through recalibration. Across 16 models and four benchmarks, predictor-based prediction and cascading gains shrink after finetuning. Predictor capacity must be counted in the comparison.[11]

BriefRead training, task-selection, and evaluation sections of the original blog

ThinkingBox: repeatable success rises while coverage slips

Turning Database Grading into RL Rewards: Post-Training Agents with ThinkingBox
Tuhin Kundu · Microsoft and Hugging Face collaborators
Blog published October 22

After 50 GRPO steps on a separate training pool, Qwen3.8-27B is tested 20 times on each of 507 tasks. Pass@1 rises 51.70% to 60.78%; observed 20/20 tasks rise 38 to 107, but pass@20 falls 89.35% to 87.97%. Observed 20/20 is not a deployment-reliability lower bound.[12]

BriefRead original-blog methods and token accounting; the older paper is not counted as a new preprint

JOLT: train the teacher to meet the student's capabilities

A Good Self-Teacher Meets the Student Where They Are: Joint On-Policy Learning and Teaching
Randy Ardywibowo · Arnav Dalal · Jiantao Jiao
New blog October 21; paper arXiv:2610.10447 v1 first posted October 7

One model jointly learns as a privileged teacher and unprivileged student. Teacher rewards are regularized toward the student; JOLT+ adds student rewards. At 63.44% MATH accuracy, GRPO's observed 8.40M processed tokens are compared with JOLT's fitted 1.30M. The 6.5-fold token comparison is not wall-clock acceleration.[13]

BriefRead blog experimental settings, update logs, and cost discussion

OPAL: rewrite Muon / AdamW recipes during a training run

Reactive Optimizers
Xingjian Bai · Jia-Hao Liang · Jayden Teoh · Vincent Sitzmann
Page datePublished / dateModified both October 21

An agent rewrites groupwise update code from training statistics, including Muon switches, momentum changes, and loss-spike guards. Multilingual NanoGPT and diffusion experiments compare available one-run recipes; RAEv2-B FID improves 3.39 to 3.19. Agent tokens and decision overhead must be counted; uniform compute superiority is not established.[14]

Daily classic · Historical workRead the setting, Theorem 3, proof sketch, and degenerate-data discussion; no multiclass result is used

Why does unregularized GD select maximum margin?

The Implicit Bias of Gradient Descent on Separable Data
Daniel Soudry · Elad Hoffer · Mor Shpigel Nacson · Suriya Gunasekar · Nathan Srebro
First posted 2017-10-27; JMLR 2018; read the binary sections of arXiv v7 (2024-10-26)
JMLR 2018 · Foundational historical work on implicit bias ↗

Hard-margin SVM explicitly selects small norm; separable logistic regression has no finite minimizer. Soudry et al. (2018) connect them: GD's norm diverges while its direction is selected.[15][16]

Finite, separable data; homogeneous linear predictor; X has columns xi; summed logistic loss has beta=1/4
L(w)=∑i=1nlog⁡(1+e−yiw⊤xi),wt+1=wt−η∇L(wt),yi∈{−1,1},0<η<8∥X∥22\mathcal L(w)=\sum_{i=1}^n\log(1+e^{-y_iw^\top x_i}),\quad w_{t+1}=w_t-\eta\nabla\mathcal L(w_t),\quad y_i\in\{-1,1\},\quad 0<\eta<\frac{8}{\|X\|_2^2}
The theorem's max-margin target
w^=arg⁡min⁡w12∥w∥22s.t.yiw⊤xi≥1  ∀i\widehat w=\arg\min_w\tfrac12\|w\|_2^2\quad\text{s.t.}\quad y_iw^\top x_i\ge1\ \ \forall i

This is the paper's asymptotic intuition, not a convergence proof. Assuming a limiting direction u, exponential tails suppress larger-margin examples, leaving support vectors.[15]

Logistic derivative's exponential tail; the ratio compares dominance along a fixed direction
−∇L(w)∼∑ie−yiw⊤xiyixi,e−g yiu⊤xie−g yju⊤xj→0ifyiu⊤xi>yju⊤xj,g→∞-\nabla\mathcal L(w)\sim\sum_i e^{-y_iw^\top x_i}y_ix_i,\qquad \frac{e^{-g\,y_i u^\top x_i}}{e^{-g\,y_j u^\top x_j}}\to0\quad\text{if}\quad y_i u^\top x_i>y_j u^\top x_j,\quad g\to\infty
The surviving nonnegative combination has SVM's KKT structure; direction convergence still needs proof
w^=∑iαiyixi,αi≥0,αi(yiw^⊤xi−1)=0\widehat w=\sum_i\alpha_i y_ix_i,\quad \alpha_i\ge0,\quad \alpha_i(y_i\widehat w^\top x_i-1)=0
Theorem 3: residual is at most log log t, and bounded for almost every dataset
wt=w^log⁡t+ρt,∥ρt∥=O(log⁡log⁡t),∥wt∥wt∥−w^∥w^∥∥=O ⁣(log⁡log⁡tlog⁡t)w_t=\widehat w\log t+\rho_t,\quad \|\rho_t\|=O(\log\log t),\quad \left\|\frac{w_t}{\|w_t\|}-\frac{\widehat w}{\|\widehat w\|}\right\|=O\!\left(\frac{\log\log t}{\log t}\right)

READ THE ORIGINALS

Original sources

  1. PolarGD: quadratics, Theorems 1/3, and finite NS
  2. AOPD: Section 3, Lemma 3.1, and experimental Table 1
  3. Safety probes: Sections 3-5 and limitations in Appendix B
  4. Thought-pruning original abstract
  5. R-squared-D original abstract
  6. Dataweights original abstract
  7. Faithful data selection original abstract
  8. Width-depth limits original abstract
  9. MTP graph-search original abstract
  10. Spectrally matched synthetic pretraining original abstract
  11. Model-routing original abstract
  12. ThinkingBox: original technical blog and evaluation tables
  13. JOLT: original research blog of October 21 (paper first posted October 7)
  14. OPAL: original technical blog, first published October 21 in page metadata
  15. Historical paper: binary setting, Theorem 3, and proof sketch
  16. JMLR 2018 official record; historical-reading selection
Search window

2026-10-20 08:13 — 2026-10-23 08:13 · America/New_York

READ · THINK · DISCUSS

Discussion & likes

Discuss a derivation, add a reference, or suggest the next classic.

Comment, reply, or like below. Sign in with GitHub to participate; comments are public.

Loading discussion…

Open discussion on GitHub ↗

← Back to all issues