Cite
Notes
Only stored in your browser.
Attribution
TorchLean: Formalizing Neural Networks in Lean
arXiv 2026
from 1 papers
Adkisson, Will
Anandkumar, Anima
Cruden, Jennifer
Zhang, Huan
Zhong, Xiangru