Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration: Neural solvers for constraint...
Satisfaction problems have achieved remarkable in-distribution accuracy, yet they suffer from a fundamental limitation persistent constraint violations occur under distribution shifts even when the model reports high confidence. This position paper argues that when hard constraints exist and the cost of verification is relati...
Source Brief
Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration: Neural solvers for constraint satisfaction problems have achieved remarkable in-distribution accuracy, yet they suffer from a fundamental limitation persistent constraint violations occur under distribution shifts even when the model reports high confidence. This position paper argues that when hard constraints exist and the cost of verification is relati...