News for hackers. Stuff that matters.

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

Re:SATNet: Bridging deep learning and logical reasoning with... by viksit on Monday June 03, 2019 @11:50PM (#20091705)
To clarify - ILP meaning Inductive Logic Programming vs Integer Linear Programming?
[ Parent | on HN ]
Re:SATNet: Bridging deep learning and logical reasoning with... by sanxiyn on Tuesday June 04, 2019 @12:37AM (#20091925)
Inductive Logic Programming. DeepMind work in question is https://arxiv.org/abs/1711.04574.
[ Parent | on HN ]