TY  - RPRT
TI  - Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration
AU  - Shufeng Kong
AU  - Xiaochuan Zhang
AU  - Caihua Liu
PY  - 2026
UR  - https://arxiv.org/abs/2608.14569
ID  - 2608.14569
ER  -