Qihao Kong, a third-year undergraduate student in the Programming Languages Lab at Peking University supervised by 

Prof. Yingfei Xiong, has been awarded the NSFC Research Fund for Young Undergraduate Students for his project 

“Generative Artificial Intelligence Optimize Code Generation with Correctness Guarantees”.

Previous studies show that LLMs can extract structured knowledge from unstructured data, suggesting a potential integration

 of both paradigms. Thus, this project proposes a novel strategy: extracting reasoning strategies from LLMs to enhance symbolic

 systems, thereby building a program synthesis system that ensures both correctness and scalability.

This project highlights the lab’s growing influence in combining generative models and symbolic systems towards automated software

 development.