Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification - Thompson, Kyle (The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2025)