Blog
Essays and interactive pieces. Some are still forthcoming; the questions are already public.
What is an explanation?Climb an explanation ladder: saliency, counterfactuals, causal claims, formal guarantees.
Types as constraints — interactive demoA playable sketch of type refinement: drag the precision dial and watch what gets forbidden.
Causal Structures in Neural NetworksDo-calculus as an epistemic tool for reading model decisions — not a dashboard feature.- Formal Methods in ML InterpretabilityWhat would it mean for an explanation to be correct, not merely persuasive?