João F. Ferreira
João F. Ferreira
Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities
Light
Dark
Automatic
Robert Thompson
Latest
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
CoqPyt: Proof Navigation in Python in the Era of LLMs
Cite
×