pub fn implicit_regularization_ty() -> Expr
ImplicitRegularization: GD with zero init converges to min-norm solution Type: Nat → Real → Prop (steps T, step size η)
ImplicitRegularization