@article{laurelgeneratingdafnyassertionsusing,
  title = {Laurel: Unblocking Automated Verification with Large Language Models},
  author = {Eric Mugnier and Emmanuel Anaya Gonzalez and Ranjit Jhala and Nadia Polikarpova and Yuanyuan Zhou},
  year = {2024},
  eprint = {2405.16792},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2405.16792v2},
}