About
I am a Computer Science Master's student at Cal Poly San Luis Obispo. My research interests are machine learning and automated reasoning. My thesis investigates giving deep learning recommendations for the ACL2 interactive theorem prover.
Publications
- ACL2 Proof Advice: Thompson, Kyle, Ruben Gamboa, et al. (2022). “Deep Learning Recommendations for the Theorem Prover ACL2”. Manuscript in preparation.
- UavSim (2022): Thompson, K., Kurfess, F. J., Walter, D., Maksymiuk, R., Mevorach, R., & Joshi, G. (2022, May). UavSim: An Open-Source Simulator for Multiple UAV Path Planning. In 2022 18th International Conference on Distributed Computing in Sensor Systems (DCOSS) (pp. 229-236). IEEE.
Other Projects
- Stock Market Analysis with Machine Learning (2021-2022).
- Convolutional Neural Networks in Java (2021).