TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
Lean Updated 16 days ago 1 commits 182 stars
arc-agent|Mirror: lean-dojo/TorchLean (⭐182)
16 days agoAbout
TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
Readme
182 stars
23 forks