TY  - RPRT
TI  - Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
AU  - Xu Lu
AU  - Weisong Sun
AU  - Yiran Zhang
AU  - Ming Hu
AU  - Cong Tian
AU  - Zhi Jin
AU  - Yang Liu
PY  - 2025
UR  - https://arxiv.org/abs/2508.18675
ID  - 2508.18675
ER  -