SOURCE RECORD · github

TorchLean

TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.

Open canonical source ↗

Research paper status → · Book status →