I'm a research engineer at a stealth startup, where we work on high performance systems at the intersection of language models, databases, and probabilistic inference. Previously, I completed my B.S. and M.Eng. at MIT.
Papers
Faster LLM Inference via Sequential Monte Carlo
90th percentile of reviews at COLM — arXiv
People Use Fast, Flat Goal-Directed Simulation to Reason about Novel Problems
Accepted to Nature, 2026 — arXiv
Improving Autoformalization via Cycle Consistency and Incremental Type-Checking Using Language-Model Probabilistic Programs
NeurIPS MATH-AI Workshop, 2025 — OpenReview
Evaluating Language Models' Evaluations of Games
ICLR, 2025 — arXiv
Sequential Monte Carlo Program Synthesis with Refinement Proposals
LAFI workshop at PLDI, 2025 — PDF