Applied AI, built to research standards.

A native macOS menu-bar app and Apple Mail extension for a New Jersey law firm. A single shortcut files the open message and its attachments to the right matter in Clio, logs billable time, or creates a follow-up task.

Underneath is ClioKit, a Swift package with OAuth, a typed Clio v4 client, incremental sync into a local SQLite database with full-text search, and a retry queue that keeps working offline. We also moved the firm's mail to Google Workspace and tuned its IMAP configuration.

A local agent stack for Qwen3.6-35B-A3B on Apple Silicon (MLX). DFlash speculative decoding, a prompt-cache patch for the model's hybrid KV layout, and mixed 8/4-bit KV caching make a capable open model fast enough for interactive multi-turn tool use on a laptop.

The agent layer adds an audit gate for numeric claims, a loop guard, refusal caps, compact tool schemas, web, SEC, arXiv, and GitHub tools, and a driver for a public finance-agent benchmark.

Tooling for our language-model reasoning program: it locates subspaces of attention-head outputs that a model's working-memory and matrix-reasoning behavior both depend on, then tests them causally by ablating and restoring them.

Runs are preregistered and pinned to exact model revisions, so that anyone can rerun them.

A complete Lean 4 formalization of our density-one theorem for lattice-point visibility, from the gcd-cutoff reduction through the density-zero estimates, built against Mathlib.

ivdyn is an end-to-end research system for implied-volatility dynamics. It builds liquidity-aware surfaces with no-arbitrage diagnostics, runs a PyTorch latent-dynamics model with pricing and execution heads, and backtests options strategies with costs and delta-hedge diagnostics.

For IMC's Prosperity trading competition we did market-making research: we reverse-engineered the exchange bots' quoting behavior and ran Monte Carlo backtests over dozens of strategy iterations.

Open-source software that estimates cell confluence (the fraction of a culture plate covered by cells) from microscopy images. It is interactive enough for bench scientists and fast enough for batch analysis: on a laptop it processed 147 images in about four minutes.