Projects
Research, open source, and what the lab is building.
2026Keller mapspapersAn explicit family of counterexamples to the Jacobian conjecture in every dimension n ≥ 3; two preprints.2026launch-video-skillopen sourceAn open-source agent skill for Claude Code and Codex that makes product launch videos with Remotion.
2026AI labin progressLearning post-training by building, from micrograd to GRPO.
2027Hard or noisy?planned
2027Voice agentplanned
2027Check or trust?planned