Pedro Domingos argues a new Sudoku-solving Lattice Deduction Transformer duplicates what traditional SAT solvers do with zero training

Users thank contributors for detailed feedback on the Sudoku-solving model's training-inference compute tradeoff because it identifies overlooked points and aids refinement.

5 comments with sentiment. View comments.