Login / Signup
Pedro Carrott
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Open Source
Navigation Systems
Geometry Theorem Proving
Structured Environments
Top Venues
CoRR
SIGSOFT FSE Companion
</>
Publications
</>
Pedro Carrott
,
Nuno Saavedra
,
Kyle Thompson
,
Sorin Lerner
,
João F. Ferreira
,
Emily First
CoqPyt: Proof Navigation in Python in the Era of LLMs.
SIGSOFT FSE Companion
(2024)
Pedro Carrott
,
Nuno Saavedra
,
Kyle Thompson
,
Sorin Lerner
,
João F. Ferreira
,
Emily First
CoqPyt: Proof Navigation in Python in the Era of LLMs.
CoRR
(2024)