HyperAIHyperAI

Command Palette

Search for a command to run...

8 months ago
Reasoning
Convolutional Neural Network
Neural Networks
Method/Architecture
SeverTopan/SATNet
pytorch
Kyubyong/sudoku
Official
tf
locuslab/SATNet
Official
pytorch
Resources - SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver | Papers | HyperAI