Sable: A Small-Field Sumcheck Argument for Bit-Exact Inference of Large Language Models

arXiv:2611.14083v1 Announce Type: cross Abstract: 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.