Lezhi Ma

According to our database, Lezhi Ma authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications.

Lezhi Ma, Shangqing Liu, Lei Bu, Shangru Li, Yida Wang, Yang Liu

CoRR, 2024

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.

Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu

CoRR, 2024