def lsm_bwd
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA
1523def lsm_bwd(+n: Nat, +c: Nat, s: TA.Mat<n, c>, dy: TA.Mat<n, c>) -> Bwd<Unit, TA.Mat<n, c>>:
1524 match s dy:
1525 case TA.Mat{y} TA.Mat{d}:
1526 dx_fin(n, c, lsmb_rows(Nat.sub(n, 1n), 0, c, A2{d, y}))