[1706.08605] Developing Bug-Free Machine Learning Systems With Formal Mathematics - discu.eu

Hacker News

Developing Bug-Free Machine Learning Systems with Formal Mathematics https://arxiv.org/abs/1706.08605 9 comments 28/6/2017

Linking pages

GitHub - dselsam/certigrad: Bug-free machine learning on stochastic computation graphs https://github.com/dselsam/certigrad 52 comments
GitHub - jdnklau/fm-ml: Collection of resources for research concerning Machine Learning and Formal Methods. https://github.com/jdnklau/fm-ml 0 comments

Related searches:

Search whole site: site:arxiv.org

Search title: [1706.08605] Developing Bug-Free Machine Learning Systems With Formal Mathematics

See how to search.

Submit link to: