Show HN: Formal Verification for Machine Learning Models Using Lean 4 https://ift.tt/2yYicM8

Show HN: Formal Verification for Machine Learning Models Using Lean 4 https://ift.tt/hKojRgW March 24, 2025 at 12:15AM