Verifiable Generation
Autoregressive models sample every token — including the ones that must be exact. For analytical work we build systems where the model orchestrates rather than recites: it writes programs, an interpreter computes the facts, and generated prose carries them.
Every figure in the output traces back to a computation, not a sample. Reports can be verified programmatically, and failures are loud — a crashed program beats a confidently formatted wrong number.