Publications

Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João Ferreira, Sorin Lerner, Emily First (2025). Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. In ICSE 2025.

Cite Code Dataset Pre-print

Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João Ferreira, Emily First (2024). CoqPyt: Proof Navigation in Python in the Era of LLMs. In FSE 2024.

PDF Cite Code Video DOI Pre-print

Pedro Carrott (2022). Formal Specification and Verification of the Lazy JellyFish Skip List. MSc Thesis.

PDF Cite Slides Extended Abstract Coq development