TorchLean Built-In Public Data Samples

Small built-in tutorial datasets, sample constructors, and tensor-source operations.

@[reducible, inline]

abbrev TorchLean.Data.Bands.shape : Shape

The single-image input shape for the built-in 4×4 band classification tutorial dataset.

def TorchLean.Data.Bands.dataset : Trainer.Dataset shape (Shape.vec 2)

Small vertical-vs-horizontal band dataset, encoded as one-hot class targets.

def TorchLean.Data.Bands.probes : List (Trainer.ClassProbe shape)

Named vertical/horizontal probes for public CNN examples.

def TorchLean.Data.Bands.probeSamples : List (String × Tensor.T Float shape × ℕ)

Concrete Float probe samples for post-training prediction demos in public classifier quickstarts.