@article{neuralproposalssymbolicguaranteesneurosy,
  title = {Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generation with Hard Constraints},
  author = {Chuqin Geng and Li Zhang and Mark Zhang and Haolin Ye and Ziyu Zhao and Xujie Si},
  year = {2026},
  eprint = {2602.16954},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2602.16954},
}