| 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 | 3 | 2024 |
| UavSim: An Open-Source Simulator for Multiple UAV Path Planning K Thompson, FJ Kurfess, D Walter, R Maksymiuk, R Mevorach, G Joshi 2022 18th International Conference on Distributed Computing in Sensor …, 2022 | 3 | 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 |
| Header Modification Attack Against Intrusion Detection Systems K Thompson, EL Conway, D Fang International Symposium on Intelligent Computing and Networking, 256-266, 2024 | | 2024 |
| ProCon: Continuous Enumeration for Just-In-Time Bottom-Up Synthesis K THOMPSON, I SHAPIRO, A CANUMALLA | | 2024 |
| Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses R Gamboa, P Manolios, E Smith, K Thompson arXiv preprint arXiv:2311.08857, 2023 | | 2023 |
| Deep Learning Recommendations for the ACL2 Interactive Theorem Prover K Thompson California Polytechnic State University, 2023 | | 2023 |
