playing-games-7
Game of Sudoku
3260 papers • 126 benchmarks • 313 datasets
This task has no description! Would you like to contribute one?
(Image credit: Papersgraph)
Benchmarks
These leaderboards are used to track progress in game-of-sudoku-7
Trend
Dataset
Best Model
Actions
Sudoku 9x9
Sudoku 9x9
Libraries
iUse these libraries to find game-of-sudoku-7 models and implementations
Datasets
No datasets available.
Subtasks
No subtasks available.
Most implemented papers
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Bryan Wilder, Zico Kolter, Po-Wei Wang, P. Donti•Thu May 23 2019
This paper introduces a differentiable (smoothed) maximum satisfiability (MAXSAT) solver that can be integrated into the loop of larger deep learning systems and demonstrates that by integrating this solver into end-to-end learning systems, this approach shows promise in integrating logical structures within deep learning.
282