TorchLean

Neural-network construction, training, runtime execution, datasets, automatic differentiation, verification, and mathematical model specifications.

Import NN.API for model code. Import NN when a file also uses the specification, proof, floating-point, or backend libraries.