HyperAIHyperAI超神経

Command Palette

Search for a command to run...

プラットフォーム

Game Of Sudoku On Sudoku 9X9

評価指標

Accuracy

評価結果

このベンチマークにおける各モデルのパフォーマンス結果

Paper Title
SATNet98.3SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
0 of 1 row(s) selected.