hnrss.org

Show HN: Formal Verification for Machine Learning Models Using Lean 4

Article URL: https://github.com/fraware/leanverifier Comments URL: https://news.ycombinator.com/item?id=43454861 Points: 6 # Comments: 0

Mar 23, 2025 - 20:12
 0
Show HN: Formal Verification for Machine Learning Models Using Lean 4

Article URL: https://github.com/fraware/leanverifier

Comments URL: https://news.ycombinator.com/item?id=43454861

Points: 6

# Comments: 0

Lire plus

Tags :

Article précédent

Des Apple Watch avec caméras sont en préparation

Article suivant

Play the Virtual Organ from Arp Schnitger

Articles similaires

Material Theme has been pulled from VS Code's marketplace

Material Theme has been pulled from VS Code's marketplace

Fév 26, 2025  0

Jet fuel spills into North Sea after tanker collision

Jet fuel spills into North Sea after tanker collision

Mar 10, 2025  0

Gemma3 – The current strongest model that fits on a single GPU

Gemma3 – The current strongest model that fits on a sin...

Mar 12, 2025  0