@article{rangoadaptiveretrievalaugmentedproving,
  title = {Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification},
  author = {Kyle Thompson and Nuno Saavedra and Pedro Carrott and Kevin Fisher and Alex Sanchez-Stern and Yuriy Brun and João F. Ferreira and Sorin Lerner and Emily First},
  year = {2024},
  eprint = {2412.14063},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2412.14063v3},
}