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
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Fanpeng Yang · Xing Li · Shuling Wang · Jie An · Zeyu Sun · Shenghua Feng · Wenhan Wang · Weiyi Wang · Naijun Zhan · Xu
Zhihao Gong · Zeyu Sun · Dong Huang · Qingyuan Liang · Jie M. Zhang · Dan Hao
While Large Language Models (LLMs) have substantially improved the functional correctness of code translation, the critical dimension of execution efficiency remains overlooked. We present Trace , the first benchmark to explicitly assess efficiency in LLM-translated code. Trace includes 1,000 eff...
Guoqing Wang · Zhao Zhang · Zeyu Sun · Xiaofei Xie · Yizhou Chen · Yanchao Tan · Dan Hao
As Large Language Models (LLMs) increasingly serve as interfaces for proprietary data (e.g., enterprise knowledge bases, legal statutes), ensuring their fidelity to trusted internal information is paramount. While integrating real-time web search can enhance model utility, it introduces a critica...
Shuyin Ouyang · Dong Huang · Jingwen Guo · Zeyu Sun · Qihao Zhu · Jie M. Zhang
Yinhao Hu · Kaiyan Mei · Zeyu Sun · Quan Sun · Dongliang Mu · Yuan Li · Chao Zhang