GitHub - dselsam/certigrad: Bug-free machine learning on stochastic computation graphs - discu.eu

Hacker News

Certigrad: bug-free machine learning on stochastic computation graphs https://github.com/dselsam/certigrad 52 comments 10/7/2017

Linked pages

Lean http://leanprover.github.io 46 comments
[1706.08605] Developing Bug-Free Machine Learning Systems With Formal Mathematics https://arxiv.org/abs/1706.08605 9 comments
GitHub - leanprover/lean: Lean Theorem Prover https://github.com/leanprover/lean 0 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - dselsam/certigrad: Bug-free machine learning on stochastic computation graphs

See how to search.

Submit link to: