Algorithmic Information Dynamics of Learning: A Certified, Differentiable Complexity Controller for Grokking
A certified, differentiable estimator is used to bring the calculus into learning dynamics: grokking, where a complexity order parameter is known but has not been made to act, and the algorithmic estimator's distinct contribution is timing (when to fire and when to release), not attribution.