@misc{indiciae308355d0b873,
  title = {Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision},
  author = {Xu Lu and Weisong Sun and Yiran Zhang and Ming Hu and Cong Tian and Zhi Jin and Yang Liu},
  year = {2025},
  url = {https://arxiv.org/abs/2508.18675},
  note = {Source identifier: 2508.18675}
}