Kyle Thompson

According to our database, Kyle Thompson authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

CoqPyt: Proof Navigation in Python in the Era of LLMs.

Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses.

Ruben Gamboa, Panagiotis Manolios, Eric Whitman Smith, Kyle Thompson

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

2022

UavSim: An Open-Source Simulator for Multiple UAV Path Planning.

Kyle Thompson, Franz J. Kurfess, Dominik Walter, Roman Maksymiuk, Roey Mevorach, Gaurav Joshi

Proceedings of the 18th International Conference on Distributed Computing in Sensor Systems, 2022