NN.Architectures.LossFunctions

Definitions

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

  Loss function alias

Visibility: public export

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

  Combinator for pairing up loss functions

Visibility: public export

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

Visibility: public export

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

Visibility: public export

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

Visibility: public export

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

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)

Visibility: public export

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

Visibility: public export

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

Visibility: public export

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

  Squared error

Visibility: public export

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

Visibility: public export

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

Visibility: public export

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

Visibility: public export

SoftargmaxCrossEntropyLogits : Loss (Simplex n)

Visibility: public export