Game of Sudoku
1개 벤치마크 · 논문 2편 · 이 태스크의 논문 보기 →
Benchmarks
Sudoku 9x9
결과 1개
Most implemented
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
2019-05-29 · 구현 3개
Neuro-Symbolic Sudoku Solver
2023-07-02 · 구현 1개
Papers
Neuro-Symbolic Sudoku Solver
2023-07-02
· Ashutosh Hathidara, Lalit Pandey
Deep Neural Networks have achieved great success in some of the complex tasks that humans can do with ease. These include image recognition/classification, natural language processing, game playing etc. However, modern N…
Game of SudokuvalidSATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
2019-05-29
· Po-Wei Wang, Priya L. Donti, Bryan Wilder, Zico Kolter
Integrating logical reasoning within deep learning architectures has been a major goal of modern AI systems. In this paper, we propose a new direction toward this goal by introducing a differentiable (smoothed) maximum s…
Deep LearningGame of SudokuLogical Reasoning