NN.Architectures.LossFunctions

Definitions

Loss : AddCont -> {default (Const Double) _ : AddCont} -> Type

  Loss function alias

Totality: total
Visibility: public export

pairLossFunctions : {auto {conArg:892} : Num l} -> Loss y -> Loss z -> Loss (y >< z)

  Combinator for pairing up loss functions

Totality: total
Visibility: public export

lossSame : ((a >+< b) >< (a >+< b)) =%+> ((a >< a) >+< (b >< b))

Totality: total
Visibility: public export

pairLossCoproduct : {auto {conArg:1077} : Num l} -> Loss y -> Loss z -> Loss (y >+< z)

Totality: total
Visibility: public export

composeLossFunctions : Loss y -> Loss z -> Loss (y >+@ z)

Totality: total
Visibility: public export

sequenceLossFunctions : Loss y -> Loss z -> Loss (y >+@ z)

Totality: total
Visibility: public export

zipListsBwd : (l1 : List (y .Shp)) -> (l2 : List (y .Shp)) -> All ((y >< y) .Pos) (l1 `zip` l2) -> (All (y .Pos) l1, All (y .Pos) l2)

Totality: total
Visibility: public export

zipLists : (List y >< List y) =%+> List (y >< y)

Totality: total
Visibility: public export

UniversalMapOutOfCoproduct : {auto {conArg:1414} : Num d} -> IsSucc n => ((i : Fin n) -> Loss (index i cs)) -> Loss (Any cs)

Totality: total
Visibility: public export

SquaredError : {auto {conArg:1937} : Num a} -> Neg a => Loss (Const a)

  Squared error

Totality: total
Visibility: public export

Sum : IsCubical n => {auto {conArg:1976} : Num a} -> {auto {conArg:1979} : TensorMonoid (n .cont)} -> Const (Tensor [n] a) =%+> Const (Tensor [] a)

Totality: total
Visibility: public export

Div : {auto {conArg:2103} : Num a} -> Fractional a => a -> Const (Tensor [] a) =%+> Const (Tensor [] a)

Totality: total
Visibility: public export

MeanSquaredError : IsCubical n => {auto {conArg:2186} : TensorMonoid (n .cont)} -> {auto {conArg:2192} : Num a} -> Neg a => Fractional a => Cast Nat a => Loss (Const (Tensor [n] a))

Totality: total
Visibility: public export

SoftargmaxCrossEntropyLogits : Loss (Simplex n)

Totality: total
Visibility: public export