Bilevel optimization framework for training language models to self-adapt at inference time via reinforcement learning and meta-gradients.

Voice and AI-powered platform for patient care documentation. Built for EMS.
Acquired by First Due.

Agentic inference optimization with dynamic speculative decoding and GPU orchestration.
Winner at TreeHacks.

Prompt distillation and translation API to optimize token efficiency.
Winner at HackMIT.

Cursor for LaTeX.
Winner at AgentOps x Stanford Hackathon.

A proof there is always a prime between n and 2n. Bored on an airplane.

Highlighting Burnside's lemma and applications to group derangements and Rubik's cubes.

Constructing a Bayesian primality test building on ideas from Fermat's Little Theorem.

The oddtown theorem.

A weird fact about ten dimensional balls.