jdnklau/fm-ml

Collection of resources for research concerning Machine Learning and Formal Methods.

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

Hacker News discussions

• Formal Methods and Machine Learning (2 points, 0 comments, by rramadass, 2024-04-02)