Current

MARS V fellowship at the Cambridge AI Safety Hub, mentored by James Petrie (Future of Life Institute). Zero-knowledge proofs for cryptographic verification of claims about LLM training, inference, and deployment — a mathematically dense, information-theoretic approach. July–October 2026; public write-up expected October 2026.

Under review at JAMIA (Journal of the American Medical Informatics Association), after moving from JAMA Network Open. Calculator deployed at levineuwirth.github.io/icd_embeddings.

Mathematics preprint on path-tube persistence, exhaustive static coverage, conditional sampling thresholds, and information loss in d-regular tree-balls.

Mathematics preprint determining the bounded annealed critical window for growing-radius domination in random regular graphs — its universal scaling function and a scalar coupon-root asymptotic expansion — resolving what an earlier near-critical version left open.

In preparation; target submission 2026–2027.

Reinforcement-learning agent under active development; expected late 2026.

Paused pending a compute move to DTU.

Wayland-targeted productivity and research shell, in daily use as my main environment. Now growing from a single box to a fabric of machines that work as one, with project resume as the hero verb.

v1.1.0 shipped, with prebuilt binaries. Rust core and embedded Lua VM, split into a long-lived instance and thin TUI and GPU frontends that attach over a typed protocol and edit CRDT-backed buffers concurrently.

FOSS music-notation platform: a deterministic, CRDT-based score model whose LaTeX specification suite is the source of truth. Spec and editor tracks advancing in parallel.