The Crown
also referred to as: crown
1 statements across 1 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Aug 26, 2026 by Anima Anandkumar · said 3 times in 1 episodes since 2026 · across every show →
Mentions by year
brought up most by Anima Anandkumar (3)
tap a year for its mentions
Everything said about The Crown, oldest first
Aug 26, 2026
TorchLean enables defining PyTorch-like neural networks directly in Lean
“So what it really enables is that you can now write neural networks essentially in Lean. So instead of writing in, like, PyTorch, it's like a PyTorch-like abstraction, but you can, like, kind of, you know, write it in Lean, and so it can be fully formalized in…”