@misc{endres2023large,
  title={Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?},
  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}
}