TY  - RPRT
TI  - Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
AU  - Cheng Wen
AU  - Jialun Cao
AU  - Jie Su
AU  - Zhiwu Xu
AU  - Shengchao Qin
AU  - Mengda He
AU  - Haokun Li
AU  - Shing-Chi Cheung
AU  - Cong Tian
PY  - 2024
UR  - https://arxiv.org/abs/2404.00762
ID  - 2404.00762
ER  -