Research

We work on some of the hardest, most interesting problems in verifiable intelligence

Across substrate, memory, training, agent safety and human–AI collaboration — research that makes powerful systems more capable, understandable and governable.