arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Lezhi Ma"" — arXiv2 Search
Showing 1–3 of 3 results
/ Date
/ Name
Sep 19, 2024
SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
Apr 23, 2026
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
Jan 16, 2024
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models