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:1079} : 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 : (ListAll y >*< ListAll y) =%+> ListAll (y >*< y)

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

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

  Squared error

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

MeanSquaredError : IsCubical n => {auto {conArg:2190} : TensorMonoid (n .cont)} -> {auto {conArg:2196} : 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