Number of papers: 1
- Authors: Cai, Yufan and Hou, Zhe and Luan, Xiaokun and Baena, David Miguel Sanan and Lin, Yun and Sun, Jun and Dong, Jin Song
- Abstract: Recently, the rise of code-centric large language models (LLMs) appears to have reshaped the software engineering world with low-barrier tools like Copilot that can generate code easily. However, there is no correctness guarantee for the code generated by LLMs, which suffer from the hallucination problem, and their output is fraught with risks. Besides, the end-to-end process from specification to code through LLMs is a non-transparent and uncontrolled black box. This opacity makes it difficult ...
- Link: Read Paper
- Labels: code generation, program transformation, static analysis, program verification