Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

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