@misc{ma2024specgen,
  title={SpecGen: Automated Generation of Formal Program Specifications via Large Language Models},
  author={Lezhi Ma and Shangqing Liu and Yi Li and Xiaofei Xie and Lei Bu},
  year={2024},
  eprint={2401.08807},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  url={https://arxiv.org/abs/2401.08807}
}