Tiny AI model solves hard logic puzzles efficiently

Original: Introducing Lattice Deduction Transformers: An 800k-parameter looped transformer that reasons like a SAT solver achieves 100% on Sudoku-Extreme with only 15 minutes of training.

Source: x.com ↗