Adapted from k3nfalt/longtails, commit 269cbc764dd36851fd0b64f2f950f329ee127de4. Modified for Lean Pool: module visibility, namespace isolation, and current Mathlib.
noncomputable def
LongTails.OracleTemplate.GeneralizedAccelerated.SelfNormalized.budget :
have S := Setups.GeneralizedSmoothAndConvex.spec;
S.Params → Fin S.numOracles → ℕ
Exact gradient-query budget, including both queries in every accelerated step.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Gradient-only acceleration under a Hessian-growth bound, uniformly in the target accuracy.