NN.Training.Examples.LinearRegression

Definitions

exampleInputs : Vect 5 Double

Totality: total
Visibility: public export

groundTruth : Double -> Double

Totality: total
Visibility: public export

linearRegressionDataLoader : Monad m => m (DataLoader Double Double)

Totality: total
Visibility: public export

linearRegression : (f : ParaAddDLens (Const Double) (Const Double)) -> Neg ((GetParam f) .Shp) => Fractional ((GetParam f) .Shp) => Sqrt ((GetParam f) .Shp) => Random ((GetParam f) .Shp) => FromDouble ((GetParam f) .Shp) => Show ((GetParam f) .Shp) => IsFlat (GetParam f) => Nat -> IO ()

Totality: total
Visibility: public export