@misc{indiciae458cb78f0ea9,
  title = {CP-SynC: Multi-Agent Zero-Shot Constraint Modeling in MiniZinc with Synthesized Checkers},
  author = {Yuliang Song and Eldan Cohen},
  year = {2026},
  url = {https://arxiv.org/abs/2605.01675},
  note = {Source identifier: 2605.01675}
}