2026
Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration
ICML 2026poster
Neural solvers for constraint satisfaction problems have achieved remarkable in-distribution accuracy, yet they suffer from a fundamental limitation where persistent constraint violations occur under distribution shifts even when the model reports high confidence. This position paper argues that whe…