Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification - Thompson, Kyle (arXiv.org)