1
TorchLean: Formalizing Neural Networks in Lean (leandojo.org) ai formalmethods
by raven 39 days ago | 0 comments