Pith. sign in

REVIEW 3 major objections 5 minor 27 references

TOP-D stabilizes on-policy distillation by building a proximal teacher that bounds gradient variance and yields large gains on math reasoning with no extra compute.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Interpolating teacher and student token probabilities bounds distillation rewards and, with PPO-style reuse, yields large AIME gains over standard on-policy distillation.

T0 review reviewed 2026-07-11 challenge →

load-bearing objection Clean one-line reward fix plus solid theory; the 25-point AIME claim is real but confounded by unmatched off-policy reuse, so treat the headline number carefully. the 3 major comments →

arxiv 2607.04751 v1 pith:GOCAXDHP submitted 2026-07-06 cs.LG cs.AI

Trust Region Policy Distillation

classification cs.LG cs.AI
keywords policy distillationon-policy distillationtrust regionproximal teachergradient variancelarge language modelsmathematical reasoning
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

On-policy distillation of large language models is attractive because it gives dense token-level rewards and avoids the forgetting of pure supervised fine-tuning, yet it is fragile: when a strong teacher assigns near-zero probability to a student token the logarithmic reward explodes and gradients become unusable. Trust Region Policy Distillation (TOP-D) replaces that unbounded signal with a simple algebraic rewrite that mixes the teacher and student probabilities, producing a reward that is strictly lower-bounded. The same construction is proved to keep the second moment of every token gradient finite, to contract the student toward the teacher up to a controllable optimization residual, and, when combined with clipped trust-region updates, to guarantee monotonic improvement of a lower bound on expected return. Empirically the method turns unstable training curves into smooth ones and lifts average accuracy on AIME-style math contests by more than twenty points over ordinary on-policy distillation, all without any extra model evaluations or memory cost.

Core claim

By interpolating teacher and student probabilities into a proximal teacher, the token reward becomes ˜r = log(α ρ + 1 − α). This single algebraic change both prevents variance explosion and, together with internal trust-region iterations, supplies a closed theoretical loop of bounded variance, global contraction, and monotonic policy improvement, converting the previously unstable on-policy distillation paradigm into a reliable training method that needs no additional compute.

What carries the argument

The proximal teacher ˜π* = α π* + (1 − α) π_θ and the resulting bounded reward ˜r_k = log(α ρ_k + 1 − α). It is the object that simultaneously caps gradient second moments (Theorem 4.2), drives the global contraction (Theorem 4.4), and underpins the monotonic-improvement lower bound used by the internal trust-region steps (Theorem 4.9).

Load-bearing premise

The analysis assumes that the gradient of the log-probability of every token under the student is bounded by a single fixed constant for all prompts and prefixes; if that uniform bound fails for modern language models, the variance-control guarantee no longer holds.

What would settle it

Train an identical student–teacher pair with α = 1 (recovering ordinary on-policy distillation) versus α ≈ 0.1–0.2 under the same optimizer and data; if the measured gradient norms remain unbounded or the AIME accuracy gap disappears, the claimed stabilizing effect of the proximal teacher is refuted.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper proposes Trust Region Policy Distillation (TOP-D) to stabilize On-Policy Distillation (OPD). It replaces the unbounded token reward r_k = log ρ_k with a proximal-teacher reward ˜r_k = log(α ρ_k + 1 − α) obtained by interpolating teacher and student probabilities, and couples this with PPO-style internal trust-region iterations that reuse on-policy rollouts. Theoretically it proves a uniform second-moment bound on the resulting policy-gradient estimator (Thm. 4.2), a contraction of the student toward the teacher up to per-step optimization error (Thm. 4.4), and a performance-difference lower bound that yields monotonic improvement of reverse KL under internal updates (Thm. 4.9). Empirically, on DAPO-Math-17k with Qwen3-1.7B/8B students and stronger Qwen teachers, TOP-D reports large avg@32 gains over GRPO, DAPO and standard OPD (e.g., +25.84 points on AIME24 for the 8B student), with ablations on α and off-policy reuse and zero extra model FLOPs beyond the algebraic reward transform.

Significance. If the claims hold, TOP-D is a practically useful, zero-overhead drop-in for a widely used post-training recipe: a simple, closed-form reward reparameterization that simultaneously bounds gradient variance and licenses safe data reuse. The theory package (variance control + global contraction + monotonic improvement) is more complete than typical OPD engineering notes, and the reported AIME lifts are large enough to matter for mathematical reasoning. Strengths that should be credited include the fully algebraic proximal reward (no extra teacher forward pass), the detailed Appendix proofs of Thms. 4.2/4.4/4.9, and the explicit ablations of α and off-policy reuse in Figure 5. The main open question is how cleanly the headline gains can be attributed to the proximal teacher versus ordinary off-policy reuse of a dense reward.

major comments (3)
  1. The headline 25.84-point AIME24 gain over “standard OPD” (Table 2, abstract, §5.2) confounds the proximal teacher with off-policy reuse. Table 5 shows OPD is run with mini-batch size = global batch (strictly one pass, no reuse) while TOP-D uses 16 mini-batches and off-policy epochs. Figure 5’s α=1.0 curve (unbounded reward + reuse) and “w/o off-policy” curve show both ingredients matter, but the natural control—standard OPD reward with the identical PPO-style reuse schedule—is never reported. Without that cell the central empirical claim that the proximal teacher is what “transforms” OPD cannot be cleanly attributed; the gain may largely be dense-reward off-policy RLVR. Please add this matched baseline (or re-run OPD under TOP-D’s mini-batch schedule) and revise the attribution language accordingly.
  2. Theorem 4.2’s uniform variance bound rests entirely on Assumption 4.1 (∥∇_θ log π_θ(y_k | x, y_<k)∥ ≤ M for every prompt, prefix and token). The bound scales as M²|V|; if the score function is unbounded under modern LLM parameterizations or long contexts, the claimed “strict” control fails. The assumption is stated without Lipschitz analysis, gradient-norm measurements, or even a qualitative argument for transformer students. Either supply empirical score-norm statistics on the trained models or weaken the claim from “inherently controls gradient variance” to a conditional bound under Assumption 4.1, and discuss when the assumption is expected to hold.
  3. The closed-loop argument in §4.3 (internal iterations drive ∥ϵ_k∥_1 ≤ δ via Pinsker, thereby closing the ϵ_∞/α gap of Thm. 4.4) is stated for exact optimization of the surrogate M_π(˜π). Algorithm 1 instead optimizes a clipped, token-level-normalized PPO objective (Eqs. 7–8) whose relationship to M_π is not established. The length-normalized future return in Eq. (8) also differs from the undiscounted cumulative reward used in the MDP of §2.2. Please either prove that the practical surrogate still guarantees the same monotonicity / error reduction, or clearly separate the theoretical guarantee (exact trust-region steps) from the implemented algorithm.
minor comments (5)
  1. Figure 3 caption and surrounding text claim ˜r_k is “strictly bounded from below”; the bound log(1−α) is correct, but the figure’s vertical axis is truncated and the positive-reward regime is hard to read. Consider a log-scale or inset for ρ_k ≫ 1.
  2. Notation: ρ_k is introduced in Eq. (3) as π*/π_θ, yet Algorithm 1 line 6 evaluates the ratio under π_θold. A short remark that the proximal reward is always computed w.r.t. the behavior policy would avoid confusion.
  3. Table 1 lists theoretical guarantees as “strong” for TOP-D and “weak” for OPD/RLVR; given that the guarantees are conditional on Assumptions 4.1 and 4.6 and on exact internal optimization, a more measured wording (“stronger / conditional”) would be fairer.
  4. Limitations section correctly notes the 8B scale and short training horizon; it would help to also flag that all teachers are from the same Qwen3 family, so cross-family capacity-gap behavior remains untested.
  5. Typos / polish: “aproximal teacher” (abstract), “T oken-level” in Fig. 3, and occasional missing spaces before citations. A light copy-edit pass is warranted.

Circularity Check

0 steps flagged

No significant circularity: variance/convergence/monotonicity bounds are direct consequences of the defined proximal reward and standard MDP inequalities, not reductions to fitted inputs or self-citation chains.

full rationale

The paper defines the proximal teacher by linear interpolation in probability space (Eq. 5: ˜r_k = log(α ρ_k + 1 − α)) and then derives three theorems from that definition plus standard assumptions. Theorem 4.2 bounds the second moment of the score-function gradient by case analysis on the sign of the reward and a univariate calculus maximum of f(u) = (log(αu + 1))²/u; the bound is an absolute mathematical constant times M²|V|, not a quantity fitted to AIME numbers. Theorem 4.4 unrolls the affine contraction of the operator T(π) = α π* + (1 − α)π under the L1 metric, yielding the classic geometric series lim-sup gap ε_∞/α; the argument is pure recurrence and does not encode empirical accuracy. Theorem 4.9 adapts the performance-difference lemma with a total-variation remainder under a finite-horizon assumption, again without reference to data. α is treated as a free hyper-parameter (chosen 0.1–0.2); no parameter is fitted to a subset of benchmarks and then “predicted.” Citations to TRPO/PPO (Schulman et al.) and the authors’ own SPO paper are ordinary algorithmic inspiration, not load-bearing uniqueness theorems that force the present claims. The empirical 25.84-point gain is a separate experimental result, not algebraically identical to any theoretical input. The derivation chain is therefore self-contained and non-circular.

Axiom & Free-Parameter Ledger

3 free parameters · 5 axioms · 1 invented entities

The method rests on one hand-chosen interpolation weight, two explicit technical assumptions (bounded score function, finite generation horizon), the standard reverse-KL / policy-gradient framing of distillation, and the invented but purely algebraic ‘proximal teacher’. No new physical entities are postulated; the free parameter α directly trades variance for asymptotic gap.

free parameters (3)
  • interpolation coefficient α = 0.1 or 0.2
    Chosen by hand in {0.1, 0.2} (sensitivity also tried at 0.3). Controls both the hard lower bound log(1−α) on the reward and the asymptotic gap ϵ_∞/α; not derived from data or theory uniqueness.
  • PPO clip ε = 0.2
    Set to 0.2 (Table 5); standard but still a free algorithmic knob that shapes the trust-region surrogate.
  • group size G and mini-batch schedule = G=8, 16 mini-batches
    G=8 responses per prompt, 16 mini-batches per global batch; chosen to match RLVR practice and enable off-policy reuse.
axioms (5)
  • domain assumption Score-function gradients are uniformly bounded: ∥∇_θ log π_θ(y_k|x,y_<k)∥ ≤ M for all contexts (Assumption 4.1).
    Required for the second-moment bound in Theorem 4.2; not verified for the Qwen3 architectures used.
  • domain assumption Every policy emits EOS within a finite maximum horizon T_max, so response length is bounded (Assumption 4.6).
    Used to control the total-variation accumulation in the monotonic-improvement proof (Theorem 4.9).
  • domain assumption Autoregressive LM generation is a deterministic undiscounted MDP with absorbing EOS state and immediate reward equal to the log probability ratio.
    Section 2.2; standard casting that lets the authors import performance-difference lemmas.
  • standard math Triangle inequality and contraction of the linear interpolation operator T(π)=απ*+(1−α)π in expected L1 distance.
    Used in the unrolling proof of Theorem 4.4.
  • standard math Pinsker’s inequality relating reverse KL to L1 distance of policies.
    Closes the loop from internal KL minimization to the optimization error ϵ_k in Section 4.3.
invented entities (1)
  • proximal teacher ˜π* no independent evidence
    purpose: Surrogate target distribution that interpolates teacher and student so the token reward is lower-bounded and variance-controlled.
    Defined purely algebraically as α π* + (1−α) π_θ; never materialized as a separate model. Independent evidence is the derived variance bound and the empirical stability curves, both internal to the paper.

reviewed 2026-07-11 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Trust Region Policy Distillation." pith.science (2026). https://pith.science/paper/GOCAXDHP

@misc{pith2026260704751,
  author       = {Pith},
  title        = {Pith review of: Trust Region Policy Distillation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GOCAXDHP}},
  note         = {Machine review of arXiv:2607.04751}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Big goals are hard to achieve all at once; breaking them into small steps is wiser. We present Trust Region Policy Distillation (TOP-D), which transforms the notoriously unstable, high-variance On-Policy Distillation (OPD) into a stable training paradigm by dynamically constructing a proximal teacher. Theoretically, we establish a rigorous framework demonstrating that TOP-D inherently controls gradient variance. By providing a formal global convergence analysis alongside a monotonic improvement bound, we mathematically formalize the reliability and stability of the overall training dynamics. Empirically, TOP-D dramatically enhances training stability, sample efficiency, and final performance on mathematical reasoning tasks. More importantly, TOP-D introduces zero additional computational overhead, positioning itself as a promising alternative to the well-established OPD paradigm.

Figures

Figures reproduced from arXiv: 2607.04751 by Li Lyna Zhang, Mao Yang, Zeke Xie, Zhengpeng Xie.

Figure 1
Figure 1. Figure 1: While standard OPD forces direct teacher supervision and suffers from unstable optimiza [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The avg@32 accuracy on several AIME benchmarks for RLVR applied to the Qwen3-8B [PITH_FULL_IMAGE:figures/full_fig_p001_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Reward curves of rk and r˜k. To address this instability, we draw inspiration from trust region methods in reinforcement learning [11, 12, 17], which restrict policy updates from taking destructively large steps. Rather than forcing the student to perfectly imitate a rigid teacher, we dynamically construct an intermediate, localized target distribution. We term this surrogate target the proximal teacher π˜… view at source ↗
Figure 4
Figure 4. Figure 4: In contrast to sequence-level advantage normalization, we perform token-level normalization across the responses generated for a given prompt to better leverage the dense reward signal. Algorithm 1 Trust Region Policy Distillation (TOP-D) Require: Student πθ, teacher π ∗ , dataset Dx, interpolation α, group size G, internal epochs E 1: while not converged do 2: Initialize πθold ← πθ 3: Sample a batch of pr… view at source ↗
Figure 5
Figure 5. Figure 5: Learning curves for the ablation study on the Qwen3-1.7B-Base. We isolate the effects of [PITH_FULL_IMAGE:figures/full_fig_p009_5.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 13 linked inside Pith

  1. [1]

    Deepseek-v4: Towards highly efficient million-token context intelligence, 2026

    DeepSeek-AI. Deepseek-v4: Towards highly efficient million-token context intelligence, 2026

  2. [2]

    Revisiting on- policy distillation: Empirical failure modes and simple fixes.arXiv preprint arXiv:2603.25562, 2026

    Yuqian Fu, Haohuan Huang, Kaiwen Jiang, Yuanheng Zhu, and Dongbin Zhao. Revisiting on- policy distillation: Empirical failure modes and simple fixes.arXiv preprint arXiv:2603.25562, 2026

  3. [3]

    MiniLLM: Knowledge distillation of large language models

    Yuxian Gu, Li Dong, Furu Wei, and Minlie Huang. MiniLLM: Knowledge distillation of large language models. InThe Twelfth International Conference on Learning Representations, 2024. URLhttps://openreview.net/forum?id=5h0qf7IBZZ

  4. [4]

    Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning.arXiv preprint arXiv:2501.12948, 2025

    Daya Guo, Dejian Yang, Haowei Zhang, Junxiao Song, Peiyi Wang, Qihao Zhu, Runxin Xu, Ruoyu Zhang, Shirong Ma, Xiao Bi, et al. Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning.arXiv preprint arXiv:2501.12948, 2025

  5. [5]

    Stable on-policy distillation through adaptive target reformulation.arXiv preprint arXiv:2601.07155, 2026

    Ijun Jang, Jewon Yeom, Juan Yeo, Hyunggu Lim, and Taesup Kim. Stable on-policy distillation through adaptive target reformulation.arXiv preprint arXiv:2601.07155, 2026

  6. [6]

    Approximately optimal approximate reinforcement learning

    Sham Kakade and John Langford. Approximately optimal approximate reinforcement learning. InProceedings of the nineteenth international conference on machine learning, pages 267–274, 2002

  7. [7]

    Scaling reasoning efficiently via relaxed on-policy distillation.arXiv preprint arXiv:2603.11137, 2026

    Jongwoo Ko, Sara Abdali, Young Jin Kim, Tianyi Chen, and Pashmina Cameron. Scaling reasoning efficiently via relaxed on-policy distillation.arXiv preprint arXiv:2603.11137, 2026

  8. [8]

    Efficient memory management for large language model serving with pagedattention

    Woosuk Kwon, Zhuohan Li, Siyuan Zhuang, Ying Sheng, Lianmin Zheng, Cody Hao Yu, Joseph Gonzalez, Hao Zhang, and Ion Stoica. Efficient memory management for large language model serving with pagedattention. InProceedings of the 29th symposium on operating systems principles, pages 611–626, 2023

  9. [9]

    Rethinking on-policy distillation of large language models: Phenomenology, mechanism, and recipe.arXiv preprint arXiv:2604.13016, 2026

    Yaxuan Li, Yuxin Zuo, Bingxiang He, Jinqian Zhang, Chaojun Xiao, Cheng Qian, Tianyu Yu, Huan-ang Gao, Wenkai Yang, Zhiyuan Liu, et al. Rethinking on-policy distillation of large language models: Phenomenology, mechanism, and recipe.arXiv preprint arXiv:2604.13016, 2026

  10. [10]

    On-policy distillation.Thinking Machines Lab: Con- nectionism, 2025

    Kevin Lu and Thinking Machines Lab. On-policy distillation.Thinking Machines Lab: Con- nectionism, 2025. doi: 10.64434/tml.20251026. https://thinkingmachines.ai/blog/on-policy- distillation

  11. [11]

    Trust region policy optimization

    John Schulman, Sergey Levine, Pieter Abbeel, Michael Jordan, and Philipp Moritz. Trust region policy optimization. InInternational conference on machine learning, pages 1889–1897. PMLR, 2015

  12. [12]

    Proximal policy optimization algorithms.arXiv preprint arXiv:1707.06347, 2017

    John Schulman, Filip Wolski, Prafulla Dhariwal, Alec Radford, and Oleg Klimov. Proximal policy optimization algorithms.arXiv preprint arXiv:1707.06347, 2017

  13. [13]

    Deepseekmath: Pushing the limits of mathematical reasoning in open language models.arXiv preprint arXiv:2402.03300, 2024

    Zhihong Shao, Peiyi Wang, Qihao Zhu, Runxin Xu, Junxiao Song, Xiao Bi, Haowei Zhang, Mingchuan Zhang, YK Li, Yang Wu, et al. Deepseekmath: Pushing the limits of mathematical reasoning in open language models.arXiv preprint arXiv:2402.03300, 2024

  14. [14]

    Self-distillation enables continual learning.arXiv preprint arXiv:2601.19897, 2026

    Idan Shenfeld, Mehul Damani, Jonas Hübotter, and Pulkit Agrawal. Self-distillation enables continual learning.arXiv preprint arXiv:2601.19897, 2026

  15. [15]

    Megatron-lm: Training multi-billion parameter language models using model parallelism.arXiv preprint arXiv:1909.08053, 2019

    Mohammad Shoeybi, Mostofa Patwary, Raul Puri, Patrick LeGresley, Jared Casper, and Bryan Catanzaro. Megatron-lm: Training multi-billion parameter language models using model parallelism.arXiv preprint arXiv:1909.08053, 2019

  16. [16]

    Mimo-v2-flash technical report.arXiv preprint arXiv:2601.02780, 2026

    Bangjun Xiao, Bingquan Xia, Bo Yang, Bofei Gao, Bowen Shen, Chen Zhang, Chenhong He, Chiheng Lou, Fuli Luo, Gang Wang, et al. Mimo-v2-flash technical report.arXiv preprint arXiv:2601.02780, 2026

  17. [17]

    Simple policy optimization

    Zhengpeng Xie, Qiang Zhang, Fan Yang, Marco Hutter, and Renjing Xu. Simple policy optimization. InForty-second International Conference on Machine Learning, 2025. URL https://openreview.net/forum?id=SG8Yx1FyeU. 10

  18. [18]

    Qwen3 technical report.arXiv preprint arXiv:2505.09388, 2025

    An Yang, Anfeng Li, Baosong Yang, Beichen Zhang, Binyuan Hui, Bo Zheng, Bowen Yu, Chang Gao, Chengen Huang, Chenxu Lv, et al. Qwen3 technical report.arXiv preprint arXiv:2505.09388, 2025

  19. [19]

    Nemotron-cascade 2: Post-training llms with cascade rl and multi-domain on-policy distillation.arXiv preprint arXiv:2603.19220, 2026

    Zhuolin Yang, Zihan Liu, Yang Chen, Wenliang Dai, Boxin Wang, Sheng-Chieh Lin, Chankyu Lee, Yangyi Chen, Dongfu Jiang, Jiafan He, et al. Nemotron-cascade 2: Post-training llms with cascade rl and multi-domain on-policy distillation.arXiv preprint arXiv:2603.19220, 2026

  20. [20]

    Dapo: An open-source llm reinforcement learning system at scale.arXiv preprint arXiv:2503.14476, 2025

    Qiying Yu, Zheng Zhang, Ruofei Zhu, Yufeng Yuan, Xiaochen Zuo, Yu Yue, Weinan Dai, Tiantian Fan, Gaohong Liu, Lingjun Liu, et al. Dapo: An open-source llm reinforcement learning system at scale.arXiv preprint arXiv:2503.14476, 2025

  21. [21]

    Glm-5: from vibe coding to agentic engineering

    Aohan Zeng, Xin Lv, Zhenyu Hou, Zhengxiao Du, Qinkai Zheng, Bin Chen, Da Yin, Chendi Ge, Chenghua Huang, Chengxing Xie, et al. Glm-5: from vibe coding to agentic engineering. arXiv preprint arXiv:2602.15763, 2026

  22. [22]

    Pytorch fsdp: experiences on scaling fully sharded data parallel.arXiv preprint arXiv:2304.11277, 2023

    Yanli Zhao, Andrew Gu, Rohan Varma, Liang Luo, Chien-Chin Huang, Min Xu, Less Wright, Hamid Shojanazeri, Myle Ott, Sam Shleifer, et al. Pytorch fsdp: experiences on scaling fully sharded data parallel.arXiv preprint arXiv:2304.11277, 2023

  23. [23]

    Sglang: Efficient execution of structured language model programs.Advances in neural information processing systems, 37: 62557–62583, 2024

    Lianmin Zheng, Liangsheng Yin, Zhiqiang Xie, Chuyue Sun, Jeff Huang, Cody H Yu, Shiyi Cao, Christos Kozyrakis, Ion Stoica, Joseph E Gonzalez, et al. Sglang: Efficient execution of structured language model programs.Advances in neural information processing systems, 37: 62557–62583, 2024. 11 A More Results Student Model Paradigm Method Teacher Model Qwen3-...

  24. [24]

    The derivative isw ′(t) = 1 t − 2 t2 = t−2 t2

  25. [25]

    Since limt→1+ w(t) = 0 , w(t)<0for allt∈(1,2)

    For t∈(1,2) , w′(t)<0 , meaning w(t) strictly decreases. Since limt→1+ w(t) = 0 , w(t)<0for allt∈(1,2)

  26. [26]

    Fort >2,w ′(t)>0, meaningw(t)strictly increases

  27. [27]

    Since there is only one critical point, this unique stationary point corresponds to the global maximum of f(u)

    Since w(2) = log 2−1<0 and w(e2) = 2 e2 >0 , by the Intermediate Value Theorem, there exists exactly one unique roott ∗ in the interval(2, e 2). Since there is only one critical point, this unique stationary point corresponds to the global maximum of f(u). The optimal point is u∗ = t∗−1 α . Substituting u∗ back into f(u) yields the closed-form analytical ...

This paper was first reviewed by grok-4.5 on July 11, 2026.