Rare find

SATNet. Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

github.com/locuslab/SATNet

Problem

Audience

Updates

No founder updates yet. Check back soon.