TorchLean is a framework built on the Lean 4 theorem prover that formalizes neural networks as first-class mathematical objects, closing the semantic gap between model execution and verification. It provides a PyTorch-style verified API with eager and compiled modes, explicit IEEE-754 Float32 semantics, and verification via IBP
•1m read time• From leandojo.org
Sort: