Hacker Next
Show HN: Formal Verification for Machine Learning Models Using Lean 4github.com
49 points by MADEinPARIS 4 days ago | 9 comments