Verifiable reasoning
We want systems that can be checked, not just trusted. The direction we find most promising pairs a model with an explicit rule layer, so that outputs can be tested against constraints a human wrote down — rather than hoping the model internalised them.
Why it matters
Every regulated buyer we speak to — schools, finance, healthcare — asks the same question: can you show me why it said that? Right now most systems cannot.