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