cs.SE cs.AI D.2.4; I.2.7; I.2.3
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Kyle Thompson Nuno Saavedra Pedro Carrott Kevin Fisher Alex Sanchez-Stern Yuriy Brun João F. Ferreira Sorin Lerner Emily First