Tag
A developer created Puzzle Lair, a free logic puzzle site featuring Sudoku, Kakuro, Nonograms and more, with no ads and a one-time unlock for full catalogs.
Proposes DiBS, a diffusion model-guided approach for branch selection in exact Sudoku solvers that reduces search cost without sacrificing completeness, supported by theoretical proof and empirical results on the Royle 17-clue benchmark.
This paper introduces a method to make Tiny Recursive Models stochastic at test time by adding Gaussian noise and running parallel rollouts, achieving dramatic performance gains on PPBench and Sudoku-Extreme without retraining.
The paper 'Generative Recursive Reasoning' introduces a method that scales test-time compute by sampling multiple latent reasoning trajectories in parallel, enabling the model to explore diverse hypotheses and avoid deterministic collapse. This approach improves performance on tasks such as Sudoku, ARC AGI, N Queens, and graph coloring, and can also generate valid Sudoku boards and MNIST digits.
This paper demonstrates that transformers trained on Sudoku solving traces build structured world models organized by domain constraints, and identifies a sparse, monosemantic circuit responsible for the naked-single decision rule. The work provides a fully interpretable algorithmic account of transformer reasoning on a combinatorial task.
This article explores the mathematical underpinnings of Sudoku, explaining how the puzzle can be modeled as a graph theory vertex coloring problem. It details how algorithms like greedy search and backtracking are applied to solve these structures.