Login / Signup
Kyle Thompson
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Geometry Theorem Proving
Indoor Environments
Navigation Systems
Collision Free
Top Venues
CoRR
SIGSOFT FSE Companion
DCOSS
</>
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)
Ruben Gamboa
,
Panagiotis Manolios
,
Eric Whitman Smith
,
Kyle Thompson
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses.
CoRR
(2023)
Kyle Thompson
,
Franz J. Kurfess
,
Dominik Walter
,
Roman Maksymiuk
,
Roey Mevorach
,
Gaurav Joshi
UavSim: An Open-Source Simulator for Multiple UAV Path Planning.
DCOSS
(2022)