@misc{indiciae77ab4bb7ce57,
  title = {Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration},
  author = {Shufeng Kong and Xiaochuan Zhang and Caihua Liu},
  year = {2026},
  url = {https://arxiv.org/abs/2608.14569},
  note = {Source identifier: 2608.14569}
}