Writing
Notes on model behavior, verifier design, and lessons from the experiments.
5 min read
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.
Each article links to the project records and includes the limits of the results.