jdnklau/fm-ml

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

语言：TeX · GitHub 星标：103 · Fork：12

话题：formal-methods · formal-verification · machine-learning

在 GitHub 上查看原仓库