dfava/readingclub

Reading club on programming languages and formal methods

2 best points · 2 comments · 1 Hacker News post · 7 GitHub stars · View on GitHub

Hacker News discussions

• Verification of Neural Networks via Linear Programming (2 points, 2 comments, by dfava, 2018-05-24)