About Me

I am a second year Ph.D. student at UCSD working with Sorin Lerner. I am interested in formal methods and machine learning.

Publications

• Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
  Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João Ferreira, Sorin Lerner, Emily First
  ICSE 2025

• Deep Learning Recommendations for the ACL2 Interactive Theorem Prover
  Kyle Thompson, Ruben Gamboa, Matt Kaufmann, Eric McCarthy, Eric Smith, Dennis Sun
  Master’s Thesis

• CoqPyt: Proof Navigation in the Era of LLMs
  Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João Ferreira, Emily First
  FSE 2024 Demo Paper

Hobbies

I’ve been skiing and playing tennis most of my life and still love to do both. More recently, I’ve picked up running, surfing and climbing!