SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications. - Lezhi Ma; Shangqing Liu; Lei Bu; Shangru Li; Yida Wang; Yang Liu 003 (CoRR, 2024)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. - Lezhi Ma; Shangqing Liu; Yi Li 008; Xiaofei Xie; Lei Bu (ICSE, 2025)