formalmethods Formal methods

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