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: 2025, Last Modified: 26 Jan 2026Proc. ACM Program. Lang. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0