Professional Experience
Undergraduate Researcher at Caltech Anima AI + Science Laboratory
February 2023 – October 2023 • Pasadena, CA •
advised by Dr. Kaiyu Yang • Prof. Anima Anandkumar
- Implemented Lean-based automated theorem provers by training code language models and retrievers to improve mathematical reasoning.
- Leveraged retrieval-augmented generation to result in a 39% increase in the proof success rate compared to a retrieval-free baseline model.
- Fine-tuned code language models to improve proof tactic retrieval and developed a ChatGPT plugin to access a Lean environment during inference.
Phillips Space Scholar at Air Force Research Laboratory
June 2021 – July 2022 • Kirtland AFB, NM •
advised by Dr. Joanna Hinks
- Modeled the Air Force NTS-3 satellite's signal interference in Python and validated accuracy via field tests with the Joint Navigation Warfare Center.
- Designed a sieve-based algorithm to generate navigation ranging sequences 26.15x faster than existing GPS satellite implementations.
Education
California Institute of Technology
B.S. in Computer Science
2022 – On Leave
Graduate-level technical coursework:
- Machine Learning and Data Mining (CS 155)
- Large Language and Vision Models (EE 148)
- Learning Systems (CS 156a)
- Probability Models (ACM 116)
- Game Theory (PS 172)
- Econometrics (Ec 122)
Undergraduate-level technical coursework:
- Algorithms (CS 38)
- Linear Algebra (Ma 1b)
- Data Structures (CS 2)
- Discrete Mathematics (Ma 6a)
- Probability and Statistics (Ma 3)
- Functional Programming (CS 4)
- Models of Computation (CS 21)
- Group Theory (Ma 5a)
Awards
- International Collegiate Programming Contest (ICPC) North American Championship Qualifier (2023, 2025)
- USA Computing Olympiad (USACO) Platinum Qualifier (2021)
- Air Force Research Laboratory Outstanding Scholar Award (2021)