TY  - RPRT
TI  - How Powerful are LLMs in Generating Formal Program Specifications?
AU  - Fanpeng Yang
AU  - Xing Li
AU  - Shuling Wang
AU  - Jie An
AU  - Zeyu Sun
AU  - Shenghua Feng
AU  - Wenhan Wang
AU  - Weiyi Wang
AU  - Naijun Zhan
AU  - Fanjiang Xu
PY  - 2026
UR  - https://arxiv.org/abs/2608.13077
ID  - 2608.13077
ER  -