Skip to main content

implicit_regularization_ty

Function implicit_regularization_ty 

Source
pub fn implicit_regularization_ty() -> Expr
Expand description

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