TorchLean

Neural-network construction, training, runtime execution, datasets, reinforcement learning, self-supervised learning, and automatic differentiation.

Import NN.API for model code. Import NN when a file also uses specification or proof internals.

Focused application surfaces are also available as NN.API.Precision, NN.API.RL, NN.API.SelfSupervised, and NN.API.Verification.