# Sable: A Small-Field Sumcheck Argument for Bit-Exact Inference of Large Language Models > Source: > Published: 2026-11-11 10:00:33+00:00 We present Sable, an argument system and single-GPU prover for the statement that a committed, integer-quantized transformer produced a given token sequence from a given prompt, bit for bit. Sable fixes an integer function F_O with no floating-point step, in which every rounding, normalization, soft