The paper Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification, whose authors include Nuno Saavedra, current PDEIC student, João F. Ferreira, professor at DEI and his PhD advisor, and Pedro Carrott, former MEIC student, and currently pursuing his PhD at Imperial College London, in collaboration with researchers at UC San Diego, Robert Thompson, Kevin Fisher, Sorin Lerner, Emily First; and UMass, Alex Sanchez-Stern, Yuriy Brun was received the "Distinguished Paper Award" at  ICSE 2025 conference.

The paper introduces an innovative automated proof synthesis tool that uses machine learning and large language models with retrieval augmentation techniques. 

ICSE is the premier conference in software engineering, and the ACM SIGSOFT Distinguished Paper Award recognizes papers of exceptional quality presented at the conference. 

Congratulations to Nuno, João and the entire research team!