activity
20182026
most citedThe action of long strings in supersymmetric field theories

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 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…