Datasets › satnet-sudoku

satnet-sudoku (SATNet's Sudoku training test)

Introduced by Po-Wei Wang et al. in SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver archive 2025-07-28

A set of easy Sudoku instances used in the SATNet paper for training SatNet on how to learn to play Sudoku.

The instances are easy (plenty of hints) and it is therefore rather easy to get high accuracy on these. More challenging instances are available in the rrn-sudoku dataset.

Homepage JSON

Benchmarks archive 2025-07-28

No leaderboard in the archive resolves to this dataset.

Papers archive 2025-07-28

No paper in the archive has a leaderboard row on this dataset; the archive counts 2 papers for it but never published that list.

Dataset loaders archive 2025-07-28

No loader listed in the archive.

Tasks archive 2025-07-28

Game of Sudoku

License archive 2025-07-28

MIT

Modalities archive 2025-07-28

Texts

Languages archive 2025-07-28

No language tagged.

Variants archive 2025-07-28

satnet-sudoku

1 variant name, as the archive lists them.

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections