TY  - RPRT
TI  - SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
AU  - Lezhi Ma
AU  - Shangqing Liu
AU  - Yi Li
AU  - Qiong Wu
AU  - Han Wang
AU  - Lei Bu
PY  - 2026
UR  - https://arxiv.org/abs/2604.21570
ID  - 2604.21570
ER  -