Lei Yang, Yanhong Huang, Jianqi Shi, Haibin Cai, Xin Guo, Xian Wei. Resolving Natural Language Ambiguity for Verified Code Generation: A Two-Stage LLM Framework. In De-Shuang Huang, Chuanlei Zhang, Wei Chen 0036, Yijie Pan, Prashan Premaratne, editors, Advanced Intelligent Computing Technology and Applications - 22nd International Conference on Intelligent Computing, ICIC 2026, Toronto, ON, Canada, July 22-26, 2026, Proceedings, Part XXIII. Volume 16664 of Lecture Notes in Computer Science, pages 491-502, Springer, 2026. [doi]
Abstract is missing.