TY  - RPRT
TI  - TorchLean: Formalizing Neural Networks in Lean
AU  - Robert Joseph George
AU  - Jennifer Cruden
AU  - Will Adkisson
AU  - Xiangru Zhong
AU  - Huan Zhang
AU  - Anima Anandkumar
PY  - 2026
UR  - https://arxiv.org/abs/2602.22631
ID  - 2602.22631
ER  -