def adam_l
bendtorch@1.3.0.0 · main.bend:285
import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base
285def adam_l(nleft: Nat, +t: U32, +lr: F32, +c1: F32, +b2: F32, +c2: F32, +eps: F32, +wd: F32, +dec: Bool, +step: F32, +bc2: F32, rw: Array<F32> & F32, rg: Array<F32> & F32, rm: Array<F32> & F32, rv: Array<F32> & F32) -> Q4:
286 match nleft rw rg rm rv:
287 case 0n Tuple{w, x} Tuple{g, y} Tuple{m, a} Tuple{v, b}:
288 Q4{w, g, m, v}
289 case 1n+p Tuple{w, +x} Tuple{g, +y} Tuple{m, +a} Tuple{v, +b}:
290 +gg = adam_grad(dec, wd, x, y)
291 +nm = adam_m(c1, a, gg)
292 +nv = adam_v(b2, c2, b, gg)
293 +nw = adam_w(step, bc2, eps, adam_decay(dec, lr, wd, x), nm, nv)
294 +u = (t + 1 : U32)
295 adam_l(p, u, lr, c1, b2, c2, eps, wd, dec, step, bc2, Array.get(F32, Array.set(F32, w, t, nw), u), Array.get(F32, Array.set(F32, g, t, 0.0), u), Array.get(F32, Array.set(F32, m, t, nm), u), Array.get(F32, Array.set(F32, v, t, nv), u))