TY  - RPRT
TI  - Towards Large Language Model Aided Program Refinement
AU  - Yufan Cai
AU  - Zhe Hou
AU  - Xiaokun Luan
AU  - David Miguel Sanan Baena
AU  - Yun Lin
AU  - Jun Sun
AU  - Jin Song Dong
PY  - 2024
UR  - https://arxiv.org/abs/2406.18616
ID  - 2406.18616
ER  -