Reasoning
How commitments are represented, repaired, forgotten, and verified.
Current questions
Trust is a research question before it is a product claim.
Read the workOperator Learning
When learned operators transfer, and what breaks when the setting changes.
Scientific ML
Machine learning for scientific measurements where artifacts can mimic signal.
Language
Evaluation and routing for language tasks where disagreement is part of the data.
Connectomics
Structure in neural wiring, with reconstruction choices treated as evidence.
Evaluation
Benchmarks and audits that separate capability, calibration, and measurement bias.