Rahul Chalamala Resume

Professional Experience

Research Scientist at Together AI

August 2023 – Current San Francisco, CA

Undergraduate Researcher at Caltech Anima AI + Science Laboratory

February 2023 – October 2023 Pasadena, CA
advised by Dr. Kaiyu YangProf. 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)