Training Flag Presets

Small parser compositions for the training flags shared by runnable examples.

structure TorchLean.CLI.EpochBatch : Type

Common training flags for epoch-oriented loader and tutorial commands.

• epochs : Nat

  Number of epochs to train for.

• batchSize : Nat

  Batch size.

def TorchLean.CLI.takePositiveEpochBatch (arguments : List String) (exeName : String) (defaultEpochs defaultBatch : Nat) : Except String (EpochBatch × List String)

Parse --epochs and --batch, requiring both selected values to be positive.