Iterative program synthesis with code knowledge. - Jiaxin Liu; Yiwei Li 006; Jianhua Dai; Rongjia Xu; Yating Zhang; Wei Dong 006 (Inf. Sci., 2025)