@misc{indiciae0df01cfd50a7,
  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 = {2025},
  url = {https://arxiv.org/abs/2405.16792},
  note = {Source identifier: 2405.16792}
}