SOTAVerified

Game of Sudoku

Papers

Showing 12 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.3Unverified