SOTAVerified

Game of Sudoku

Papers

Showing 1–2 of 2 papers

TitleStatusHype
Neuro-Symbolic Sudoku SolverCode1
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solverCode0
Show:102550

Benchmark Results

#ModelMetricClaimedVerifiedStatus
1SATNetAccuracy98.3—Unverified