Xu Lu, Weisong Sun, Yiran Zhang, Ming Hu 0003, Cong Tian, Zhi Jin 0001, Yang Liu 0003. Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision. In 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, Seoul, Korea, Republic of, November 16-20, 2025. pages 3932-3937, IEEE, 2025. [doi]
Abstract is missing.