Adapted from k3nfalt/longtails, commit 269cbc764dd36851fd0b64f2f950f329ee127de4. Modified for Lean Pool: module visibility, namespace isolation, and current Mathlib.
noncomputable def
LongTails.OracleTemplate.Gradient.gd
{E : Type u_1}
[NormedAddCommGroup E]
[InnerProductSpace ℝ E]
:
Ordinary gradient descent with constant step size equal to the reciprocal smoothness.
Equations
- One or more equations did not get rendered due to their size.