Optimization Examples

Examples showing how optimizer statements are consumed from downstream proof code.

Reusable optimizer statements live under NN.MLTheory.Optimization. This folder gives short worked examples that use those statements through the public TorchLean.optim names.