Preprints from the lab. Each result is formally machine-checked and empirically measured on a production engine, and together they constitute the technical foundation for the rest of this site.
A mechanism for trust-minimized language-model serving over untrusted hardware.
Cheap verifiable inference for diffusion and codec models.
When verification is cheap, the correctness bond is redundant.