@misc{indiciae46602b2b166b,
  title = {SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification},
  author = {Lezhi Ma and Shangqing Liu and Yi Li and Qiong Wu and Han Wang and Lei Bu},
  year = {2026},
  url = {https://arxiv.org/abs/2604.21570},
  note = {Source identifier: 2604.21570}
}