Verifying ML in Lean and the future 🙂 Since we released TorchLean in March, quite a lot has changed!! I've finally written up some of the new features we've been working on, and one of the biggest developments is that TorchLean is becoming a more general tensor programming and

→ View original post on X — @animaanandkumar