News for hackers. Stuff that matters.

A comment on SATNet: Bridging deep learning and logical reasoning with differentiable SAT.

Re:SATNet: Bridging deep learning and logical reasoning with... by mlevental on Monday June 03, 2019 @05:54PM (#20089288)
there's also this https://arxiv.org/abs/1812.11948
[ Parent | on HN ]

There are no comments on this comment yet.