Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.

Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, Joo F. Ferreira, Sorin Lerner, Emily First

Browse the full ICSE paper archive.