{"url":"/task/suduko","name":"Game of Sudoku","slug":"suduko","description_markdown":null,"categories":[{"name":"Playing Games","url":"/area/playing-games"}],"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","slug_source":"archive_url"},"counts":{"papers_tagged":2,"papers_with_code":2,"benchmarks":1,"benchmark_tables_in_archive":1,"benchmark_tables_shown":1,"benchmark_tables_withheld_as_spam":0,"benchmark_definition":"a leaderboard table with at least one row; benchmark_tables_shown also counts the zero-row tables; benchmark_tables_in_archive adds the tables withheld as spam","datasets":3,"subtasks":0,"parent_tasks":0},"benchmarks":[{"leaderboard":"/sota/game-of-sudoku-on-sudoku-9x9","slug":"game-of-sudoku-on-sudoku-9x9","dataset":"Sudoku 9x9","dataset_url":null,"rows_in_archive":1,"metrics":["Accuracy"],"first_row_in_archive_order":{"model":"SATNet","paper_title":"SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver","paper_url":"/paper/satnet-bridging-deep-learning-and-logical","paper_date":"2019-05-29","arxiv_id":"1905.12149","code_links":[{"title":"Kyubyong/sudoku","url":"https://github.com/Kyubyong/sudoku"},{"title":"locuslab/SATNet","url":"https://github.com/locuslab/SATNet"},{"title":"SeverTopan/SATNet","url":"https://github.com/SeverTopan/SATNet"}],"syntology":{"n":5,"n_ran":4,"n_unverified":1,"n_pointer_only":0}}}],"datasets":[{"url":"/dataset/many-solutions-sudoku","name":"many-solutions-sudoku","full_name":"Dataset of Sudoku grids with more than one solution","num_papers_in_archive":2},{"url":"/dataset/rrn-sudoku","name":"rrn-sudoku","full_name":"RRN sudoku instances dataset","num_papers_in_archive":2},{"url":"/dataset/satnet-sudoku","name":"satnet-sudoku","full_name":"SATNet's Sudoku training test","num_papers_in_archive":2}],"subtasks":[],"parent_tasks":[],"papers":{"order":"repositories listed in the archive (desc), then date (desc); the archive holds no stars","population":"papers tagged with this task that list at least one repository in the archive","shown":2,"of":2,"tagged_in_all":2,"items":[{"url":"/paper/satnet-bridging-deep-learning-and-logical","title":"SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver","date":"2019-05-29","arxiv_id":"1905.12149","repositories_listed":3,"syntology":{"n":5,"n_ran":4,"n_unverified":1,"n_pointer_only":0}},{"url":"/paper/neuro-symbolic-sudoku-solver","title":"Neuro-Symbolic Sudoku Solver","date":"2023-07-02","arxiv_id":"2307.00653","repositories_listed":1,"syntology":null}],"syntology_records":1,"syntology_note":"a paper without a record is not a recorded non-run: it may lack an arXiv id or simply be absent from the graph layer"},"description_links":{"kept":0,"unwrapped_to_text":0,"bare_urls_linked":0,"relative_images_dropped":0,"rule":"internal links are kept only when the target slug exists in the catalog"},"syntology":{"read_at":"2026-09-24T18:15:14+00:00","claim":"Per-sample execution status on synthesized fixtures ('ran N of M samples'); not a correctness claim and not a ranking signal.","status_vocabulary":{"ran_honours":"ran, honoured the contract we drafted","ran_violates":"ran, violated the contract we drafted","ran_draft_wrong":"ran; our contract draft was wrong, not the code","ran_fixture":"ran; our fixture could not drive it","ran":"ran on a synthesized input","unverified":"unverified (harvested, no recorded run)"}},"not_shown":{"libraries":"the archive has no per-task library table","trend_sparklines":"the Trend column of the benchmarks table was a rendered image; it is not in the archive","social_and_latest_sorts":"stars and social signals are not in the archive"}}