About

I'm an undergraduate at the University of Washington studying Applied and Computational Mathematical Sciences, with a focus on discrete math and algorithms. I do ML research at the UW MATH AI Lab, working on embedding models for mathematical reasoning.

Currently on the lookout for software, math, or robotics research and internship opportunities — feel free to reach out!


Research

Math2Vec: Embedding Models for Mathematical Meaning

Fine-tuned current SOTA embedding models to develop MathLeap, a family of embedding models to improve capability in embedding mathematical content across natural language, LaTeX, and LEAN. Built MELD, a benchmark consisting of equivalent pairs across mathematical domains to evaluate embedding models on mathematical tasks.

arXiv · poster


Experience

SDE Intern

  • Built a patent retrieval system with OpenSearch and Azure AI Search
  • Designed PySpark/SQL pipelines in Microsoft Fabric for data processing
  • Built an NLP pipeline that improved claim scoring accuracy by 15%

Projects

[Projects coming soon.]


Education

University of Washington
B.S. Applied and Computational Mathematical Sciences — Discrete Mathematics and Algorithms