An LLM benchmark for CAD that functionally evaluates and simulates, in 3D, finished designs.
An LLM benchmark for end-to-end PCB design, including component selection, schematics, and routing, evaluated by simulation of the finished product.
Interpreting how inference-time reasoning switches interact with models.
A method for co-training paired instruct and thinking checkpoints of the same model to iteratively self-improve on reasoning tasks.
CEO
Building PCM, an AI app that helps schools understand and reduce paper use. Scaled it to 30,000 students across 150+ schools, trained PySR forecasting models, and lead a 20 person nonprofit team.
GIS/Software Research Intern
Researching power grid resilience with 3D grid modeling and flood segmentation to find infrastructure that needs investment most.
Software Engineer Intern
Built integration infrastructure and product UI: external webhooks, hosted bots for Stripe, Vercel, and GitHub, and performance refactors that made the app much faster.
Quantum Technical Writing Intern
Built tools for editing a quantum mechanics textbook, using Python and React to compare drafts and surface stronger paragraph versions.
Team Captain
Founded Bellevue High School's first Science Bowl team and led it to a National Finals trip.
USACO Platinum
USAAIO National Finalist/Bronze Medalist
Team Captain, two-time National Finalist
Captained a team of five building egg-lofting rockets for the national flight challenge.
An infinite canvas web browser built with Electron and TypeScript.
A tool to automate context gathering and applying changes when pair programming with online LLMs.
A Google OAuth app for chatting with RAG over your Google Docs.
A Falcon 40B-based model that generates music in ABC notation.
$55 for a Linux desktop on your glasses.