Pre-registered, kernel-checked certification of a pretrained language model — full-vocabulary exact-real next-token certificates, a Hoeffding population bound announced by the verifier itself, and honest limits throughout
interval-arithmetic formal-verification ai-safety interpretability gpt2 pre-registration lean4 certified-inference
-
Updated
Jul 4, 2026 - Python