News for hackers. Stuff that matters.

A comment on Certigrad: bug-free machine learning on stochastic computation graphs. Parent comment

Re:Certigrad: bug-free machine learning on stochastic comput... by jojo3000 on Wednesday July 12, 2017 @04:45AM (#14751045)
Sorry, I was unclear. I meant that most LCF style theorem provers only have one theorem datatype to carry proof information.
[ Parent | on HN ]

There are no comments on this comment yet.