Work

research

TheoremSearch app

TheoremSearch pipeline diagram

Semantic Search over 9 Million Mathematical Theorems

Mar 2026 paper demo code

Built a semantic search engine for mathematical theorems as part of the University of Washington’s Math AI Lab. Led development of the world’s largest theorem database (9.2 million) using AWS services and a Python pipeline. Accepted to the 2026 ICLR Workshop in LLM Reasoning.

Constant exogenous parameter model

SINDy algorithm model

Time-varying exogenous parameter model

So Long Solow? An Empirical Study of the Efficacy of Solow Growth Models

Dec 2025 paper code

Analyzed how well the Mankiw-Romer-Weil Solow growth model captures the economic dynamics of the U.S., Japan, and Germany from 1950–2023 with Python. Found that a SINDy-driven model outperformed those with constant or time-varying exogenous parameters.

Evidence of state homogeneity

Evidence of time homogeneity

The Stability of Okun's Law Across Time and Space

Aug 2025 paper tool code

Examined how Okun’s Law changed in the U.S. across recession periods and states using 2005–2025 data with R. Found no evidence of heterogeneity across periods, and only weak evidence across states.

projects

Practice questions page

Test coverage statistics page

HuskyCalcArchive

Jan 2026 app code

An exam question database for UW’s MATH 124/5/6 calculus series, built to help students prepare with real archived questions. Includes a pipeline to capture and label 1700+ questions from archived test PDFs.

Game's home screen

Gameplay of DerivaWiz

Deriva-Wiz

Dec 2024 game code

A game for practicing derivatives, built on top of a symbolic differentiator I wrote from scratch in TypeScript.