G github.com Show HN: Formal Verification for Machine Learning Models Using Lean 4 52 points MADEinPARIS 1 year ago 14 comments
