An 800K model just aced impossible Sudoku in 15 minutes. Most reasoning models scale up to get smarter. This one goes the other way. A new paper introduces the Lattice Deduction Transformer. It is a tiny looped model that reasons like a SAT solver. Instead of guessing

→ View original post on X — @alphasignalai