作者位次 #3/10ICML 2026Poster· Deep Learning / Large Language Models
How Powerful are LLMs in Generating Formal Program Specifications?
Fanpeng Yang · Xing Li · Shuling Wang · Jie An · Zeyu Sun · Shenghua Feng · Wenhan Wang · Weiyi Wang · Naijun Zhan · Xu