Experience

Machine Learning Intern, Foundation Models Team
Apple Inc., New York City, US
(June 2025 – Present)
Manager: Ke Ye.
Improving LLM reliability for mathematical problems using formal proof verification in Lean 4.
Designing an agentic framework to enhance automated theorem proving LLMs.

Applied Scientist Intern
Amazon.com, Inc., Seattle, US
(June 2024 – September 2024)
Manager: Carrie Xu.
Applied causal discovery to identify impactful actions for third-party sellers and their influence on KPIs and revenue.

Machine Learning Intern
Airbus Group, Bangalore, India
(May 2019 – August 2019)
Manager: Rakshith Belur.
Built AI surrogate models to study black-box systems, applied XAI techniques to examine underlying models.
Resulted in an anonymized defensive publication.