Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus

Open Webpage

Yufan Cai, Zhe Hou, David Sanán, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong

Published: 01 Jan 2025, Last Modified: 07 Nov 2025Proc. ACM Program. Lang. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0