about me
I’m a third-year Data Science and Statistics major at the University of Washington. I’m curious about
- answering important questions about our macroeconomy with causal inference
- exploring how formalized LLM reasoning can advance economic and mathematical theory.
Outside of academics, I’m a marathoner-in-training, an avid reader, and a Marvel Rivals Vanguard main.
works in progress
> Improving TheoremSearch by making the world's largest mathematics dependency graph > Inspired by the birth of EconLib, teaching myself Lean by completing the Natural Number Game > Training for a Fourth of July 5K > Preparing applications to economics predocs, focusing on my writing sample on the effect of Washington's Millionaire's Tax on wealth migration