@article{intentalignedformalspecificationsynthesi,
  title = {Intent-aligned Formal Specification Synthesis via Traceable Refinement},
  author = {Zhe Ye and Aidan Z. H. Yang and Huangyuan Su and Zhenyu Liao and Samuel Tenka and Zhizhen Qin and Udaya Ghai and Dawn Song and Soonho Kong},
  year = {2026},
  eprint = {2604.10392},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2604.10392},
}