3 articles tagged with #sudoku. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.
DiBS introduces a diffusion model-guided approach to optimize branch selection in Sudoku solving, combining symbolic solver completeness with learned global guidance. The method substantially reduces search costs on hard instances while maintaining correctness guarantees, demonstrating how neural models can enhance traditional constraint satisfaction algorithms.
Researchers introduce Lattice Deduction Transformers (LDT), a specialized neural architecture that achieves near-perfect accuracy on constraint-solving puzzles like Sudoku and Mazes while remaining logically sound. The approach demonstrates that smaller models with domain-specific architectures can outperform large language models on reasoning tasks.
Researchers introduced Symbol-Equivariant Recurrent Reasoning Models (SE-RRMs), a new neural network architecture that solves reasoning problems like Sudoku and ARC-AGI more efficiently than existing models. SE-RRMs achieve competitive performance with only 2 million parameters and can generalize across different puzzle sizes without requiring extensive data augmentation.
