SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification — Lezhi Ma, Shangqing Liu, Yi Li, Qiong Wu, Han Wang, Lei Bu | Kutubxona