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 : (m : Const Double -\-> Const Double) -> Neg (m .Params) => FromDouble (m .Params) => ScientificDisplay (m .Params) => Materialise (m .Params) => Nat -> {default 1000 _ : Nat} -> IO Double

Totality: total
Visibility: public export