Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration

Shufeng Kong, Xiaochuan Zhang, Caihua Liu

Neural solvers for constraint satisfaction problems have achieved remarkable in-distribution accuracy, yet they suffer from a fundamental limitation persistent constraint violation…