I train language models and test how they behave.
My work combines post-training experiments, model evaluation, and formal methods. I also build learning tools, small products, and interactive software.
Try the verifier
Make 24 using 3, 3, 8, 8 exactly once each. Try an expression and compare the checks.
Illustrative example. See the post-training experiments.
Selected projects
Language-model training, adaptive learning, and formal proofs.
Upbringing
Language-model post-training experiments using SFT, DPO, and verifiable rewards.
Cognanimus
An adaptive learning platform with generated feedback, checked answers, and records of student progress.
BusyCoq contributions
Contributions to formally verified Busy Beaver proofs, checked in Coq and merged upstream.
Research & systems
Experiments with model behavior, evaluation, and inference tools.
Curiosity & satisfaction in LLMs
Activation-steering experiments testing whether a candidate direction changes information-seeking behavior.
Custom LLM Harness
A custom agent harness for managing inference, running tools, recording trials, and comparing results.
rag-eval-kit
A published Python framework for evaluating RAG pipelines across answer quality, retrieval, latency, and cost.
NeuroTechML
Team research on phoneme classification from surface EMG, including signal processing, LSTM training, and live inference.
llm-scry
A prototype for inspecting token probabilities and model activations through a local TransformerLens API.
Studio
Creative tools, games, and simulations made with GPT and Claude. I direct the projects, test them, and refine the results.
Foldsmith+
A papercraft design tool with 3D previews, folding instructions, and printable cutting sheets.
Lanternfish LF-16
A 16-bit fantasy computer with its own language, compiler, emulator, IDE, and debugger.
Signal Garden
A visual music composition tool where an editable landscape controls the score.
Parlour
A multiplayer party-game platform with shared-scene memory and collaborative invention games.
Products & tools
Software for production workflows, documents, and public records.
TransferBatch
A Shopify-connected tool that turns transfer orders into production sheets, with checks on quantities and dimensions.
SheetMason
A desktop tool for labeling drawing sheets and splitting PDF sets, with review steps and preservation checks.
Siting Radar
A municipal-document pipeline that tracks energy siting changes, with quotations and page citations.
Writing
Technical notes on the experiments and what I learned.
What the checker actually checks
A reward curve, a learning rubric and a formal proof each have a boundary. The useful work starts by making it visible.
5 min readWhen steering changes nothing
A completed model-internals experiment, a verified perturbation and a null behavioral result—and what each does and does not establish.