{"url":"/dataset/satnet-sudoku","name":"satnet-sudoku","full_name":"SATNet's Sudoku training test","description_markdown":"A set of easy Sudoku instances used in the SATNet paper for training SatNet on how to learn to play Sudoku.\r\n\r\nThe 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.","description_withheld":null,"homepage":"https://github.com/locuslab/SATNet","introduced_date":null,"introduced_date_note":null,"introduced_by":{"paper":"/paper/satnet-bridging-deep-learning-and-logical","title":"SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver","first_author":"Po-Wei Wang","url":null},"license":{"name":"MIT","url":"https://github.com/locuslab/SATNet/blob/master/LICENSE"},"modalities":[{"name":"Texts","url":"/datasets/modality/texts"}],"tasks":[{"name":"Game of Sudoku","url":"/task/suduko","datasets_with_task":"/datasets/task/suduko"}],"languages":[],"variants":["satnet-sudoku"],"data_loaders":[],"num_papers_in_archive":2,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-24T18:15:14+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}