TorchLean
Software / App
A unified framework for writing and verifying neural networks in Lean.
Mentioned in 2 videos
Save the 2 videos on TorchLean to your own pod.
Sign up free to keep building your knowledge base on TorchLean as more episodes are added.
Videos Mentioning TorchLean
5 Papers That Show Where AI Research Is Heading Right Now
Y Combinator
A unified framework for writing and verifying neural networks in Lean.
🔬 Why Transformers Hit a Wall the Moment Physics Shows Up — Anima Anandkumar, Caltech
Latent Space
A framework that allows writing and verifying neural networks within Lean, enabling formal proofs and certified robustness.