{"task":"Game of Sudoku","dataset":"Sudoku 9x9","metric_names":["Accuracy"],"rows":[{"id":92248,"task":"Game of Sudoku","parent_task":null,"dataset":"Sudoku 9x9","model_name":"SATNet","metrics":{"Accuracy":"98.3"},"paper_url":"https://arxiv.org/abs/1905.12149v1","paper_title":"SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver","paper_date":"2019-05-29","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"}],"metrics_order":"[\"Accuracy\"]","area":"Playing Games","uses_additional_data":0,"source":"archive","tags":[]}]}