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