Rare find

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

github.com/jdnklau/fm-ml

Problem

Audience

Updates

No founder updates yet. Check back soon.