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 phonicwheel on Tuesday June 04, 2019 @03:30AM (#20092728)
and there's also this: https://github.com/MatthiasNickles/delSAT
[ Parent | on HN ]

There are no comments on this comment yet.