Tag
This position paper argues that neural solvers for constraint satisfaction problems must prioritize symbolic integration to ensure provable correctness, especially under distribution shifts, using Sudoku as a key example.