Thompson, Kyle, Saavedra, Nuno, Carrott, Pedro, Fisher, Kevin, Sanchez-Stern, Alex, Brun, Yuriy, Ferreira, João F, Lerner, Sorin, and First, Emily. Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. Retrieved from https://par.nsf.gov/biblio/10638892. Web. doi:10.1109/ICSE55347.2025.00161.

Thompson, Kyle, Saavedra, Nuno, Carrott, Pedro, Fisher, Kevin, Sanchez-Stern, Alex, Brun, Yuriy, Ferreira, João F, Lerner, Sorin, & First, Emily. Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. Retrieved from https://par.nsf.gov/biblio/10638892. https://doi.org/10.1109/ICSE55347.2025.00161

Thompson, Kyle, Saavedra, Nuno, Carrott, Pedro, Fisher, Kevin, Sanchez-Stern, Alex, Brun, Yuriy, Ferreira, João F, Lerner, Sorin, and First, Emily. "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification". Country unknown/Code not available: IEEE. https://doi.org/10.1109/ICSE55347.2025.00161. https://par.nsf.gov/biblio/10638892.

@article{osti_10638892,
place = {Country unknown/Code not available}, title = {Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification}, url = {https://par.nsf.gov/biblio/10638892}, DOI = {10.1109/ICSE55347.2025.00161}, abstractNote = {Not Available}, journal = {}, publisher = {IEEE}, author = {Thompson, Kyle and Saavedra, Nuno and Carrott, Pedro and Fisher, Kevin and Sanchez-Stern, Alex and Brun, Yuriy and Ferreira, João F and Lerner, Sorin and First, Emily}, }