| Title: |
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification |
| Authors: |
Thompson, Kyle; Saavedra, Nuno; Carrott, Pedro; Fisher, Kevin; Sanchez-Stern, Alex; Brun, Yuriy; Ferreira, Joao F.; Lerner, Sorin; First, Emily |
| Source: |
2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2025 IEEE/ACM 47th International Conference on. :347-359 Apr, 2025 |
| Relation: |
2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE) |
| Database: |
IEEE Xplore Digital Library |