Computation and Language

Authors and titles for recent submissions

Total of 1 entry. See today's new changes

Thu, 24 Sep 2026 (showing 1 of 1 entries)

[1] marXiv:2609.00018 (cross-list from cs.PL) [pdf]

Title: Quantized GPT-2 Inference with Exact WebAssembly Proofs: Arithmetic, Cached Execution, and Numerical Evidence

Authors: Jamie Stephens

Comments: 20 pages. Source, theorem map, measurement records, and reproduction instructions accompany the report.

Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL)