CSV loader tutorial

This tutorial mirrors the "data first" workflow people expect from PyTorch:

1. Load a dataset from disk (CSV).
2. Turn it into a fixed-size batched dataset.
3. Train through the public Trainer API.

Generate a small deterministic regression dataset with python3 NN/Examples/Data/generate_small_data.py:

• NN/Examples/Data/small_regression.csv with rows x1,x2,y (25 samples).

Build:

• lake build NN.Examples.Data.Loaders.Csv

The tutorial code is compiled with the rest of TorchLean. For command-line model training, use the torchlean executable examples in NN/Examples/Models.

Optional flags (tutorial-specific):

• --data-dir PATH (default: NN/Examples/Data)
• --csv PATH (override the CSV file)
• --seed S (controls shuffling and model initialization)
• --batch N
• --steps N

Public API used here:

• Data.tabularCsvDataset
• Trainer.new
• Trainer.RunConfig
• Trainer.TrainOptions
• trainer.train

def NN.Examples.Data.Loaders.Csv.missingCsvHint : String

def NN.Examples.Data.Loaders.Csv.inDim : ℕ

def NN.Examples.Data.Loaders.Csv.outDim : ℕ

def NN.Examples.Data.Loaders.Csv.mkModel {batch : ℕ} : TorchLean.nn.M (TorchLean.nn.Sequential (TorchLean.Shape.mat batch inDim) (TorchLean.Shape.mat batch outDim))

A small 2-layer batched MLP 2 -> 8 -> 1.

def NN.Examples.Data.Loaders.Csv.usage : String

Command-line help for the CSV loader tutorial.

def NN.Examples.Data.Loaders.Csv.main (args : List String) : IO Unit