2 citations · 2 across the 3 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CR2026
Sable: A Small-Field Sumcheck Argument for Bit-Exact Inference of Large Language Models
Tomer Solberg
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, bi…
cs.LG2026
HyperQuant: A Rate-Distortion-Optimal Quantization Pipeline for Large Language and Diffusion Models
Yuval Domb, Hadar Sackstein, Tomer Solberg
We present HyperQuant (Hadamard, optimallY Packing, Entropy Rice-coding), a unified post-training quantization pipeline for the weights and the KV cache of large language and diffu…