@misc{endres2023formalizing,
  title={Formalizing Natural Language Intent into Program Specifications via Large Language Models},
  author={Madeline Endres and Sarah Fakhoury and Saikat Chakraborty and Shuvendu K. Lahiri},
  year={2023},
  eprint={2310.01831},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  url={https://arxiv.org/abs/2310.01831}
}