@misc{indiciaefa37c3a078c9,
  title = {How Powerful are LLMs in Generating Formal Program Specifications?},
  author = {Fanpeng Yang and Xing Li and Shuling Wang and Jie An and Zeyu Sun and Shenghua Feng and Wenhan Wang and Weiyi Wang and Naijun Zhan and Fanjiang Xu},
  year = {2026},
  url = {https://arxiv.org/abs/2608.13077},
  note = {Source identifier: 2608.13077}
}