Experience

Machine Learning Intern, Foundation Models Team
Apple Inc., New York City, US
(June 2025 – September 2025)
Manager: Ke Ye.
Developed Hilbert, an agentic framework that bridges informal mathematical reasoning with formal theorem proving via recursive subgoal decomposition.
Achieved state-of-the-art results on PutnamBench (70.0%, +422% over prior public baseline) and miniF2F (99.2%, +6.6% over previous best model).

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.