Spremljaj
Pedro Carrott
Pedro Carrott
PhD Student, Imperial College London
Preverjeni e-poštni naslov na imperial.ac.uk - Domača stran
Naslov
Navedeno
Navedeno
Leto
CoqPyt: Proof Navigation in Python in the Era of LLMs
P Carrott, N Saavedra, K Thompson, S Lerner, JF Ferreira, E First
Companion Proceedings of the 32nd ACM International Conference on the …, 2024
32024
Formal Specification and Verification of the Lazy JellyFish Skip List: A Case Study in Iris on the Verification of Concurrent Maps with Version Control
P Carrott
Instituto Superior Técnico, Universidade de Lisboa, 2022
1*2022
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
K Thompson, N Saavedra, P Carrott, K Fisher, A Sanchez-Stern, Y Brun, ...
arXiv preprint arXiv:2412.14063, 2024
2024
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–3