A benchmark for language-model CAD agents with Build123D tasks, difficulty-weighted scoring, model harnesses, and a public leaderboard.
A benchmark for agents that reconstruct KiCad PCB projects, combining frozen task packs with ngspice-driven I/O simulation graders.
A method for co-training paired instruct and thinking checkpoints, moving part of explicit reasoning into model weights with QLoRA and weight interpolation.
Research on residual controllers for reasoning switches, exploring how controllers can steer when reasoning systems change strategies.
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.