Papers Game of Sudoku
“Game of Sudoku” 태그가 달린 논문 2편 · 필터 해제
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
1–2 / 2