“Torch Lean is a new framework that allows for writing neural networks in the Lean language, providing a PyTorch-style tensor system for formal verification.”