External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

YuFan Cai, Zhe Hou, David Sanán, Xiaokun Luan, Yun Lin 0001, Jun Sun 0001, Jin Song Dong. Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus. Proceedings of the ACM on Programming Languages, 9(POPL):2057-2089, 2025. [doi]

Authors

YuFan Cai

This author has not been identified. Look up 'YuFan Cai' in Google

Zhe Hou

This author has not been identified. Look up 'Zhe Hou' in Google

David Sanán

This author has not been identified. Look up 'David Sanán' in Google

Xiaokun Luan

This author has not been identified. Look up 'Xiaokun Luan' in Google

Yun Lin 0001

This author has not been identified. Look up 'Yun Lin 0001' in Google

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google
runs on