TY  - RPRT
TI  - Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
AU  - Kyle Thompson
AU  - Nuno Saavedra
AU  - Pedro Carrott
AU  - Kevin Fisher
AU  - Alex Sanchez-Stern
AU  - Yuriy Brun
AU  - João F. Ferreira
AU  - Sorin Lerner
AU  - Emily First
PY  - 2025
UR  - https://arxiv.org/abs/2412.14063
ID  - 2412.14063
ER  -