Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Show HN: Formal Verification for Machine Learning Models Using Lean 4
github.com/fraware
52 points
MADEinPARIS
a year ago
14 comments
Loading...
Show HN: Formal Verification for Machine Learning Models Using Lean 4 | Heykuki News