DiBS: Diffusion-Informed Branch Selection

In three linesDiBS combines a complete symbolic solver with a diffusion model to guide branch selection in Sudoku solving. On the Royle 17-clue benchmark, the approach substantially reduces search cost (nodes, backtracks, long-tail percentiles) versus strong heuristic baselines.

Summary generated by Claude — human-verified