Submission 523fbdad5163
| Title: | Quantized GPT-2 Inference with Exact WebAssembly Proofs: Arithmetic, Cached Execution, and Numerical Evidence |
| Authors: | Jamie Stephens |
| Subjects: | Programming Languages (cs.PL); Computation and Language (cs.CL) |
| Replaces: | marXiv:2609.00018 |
| Submitted: | Thu, 24 Sep 2026 08:32 |
| PDF: | submitted PDF |
| Status: | accepted |
| Paper: | marXiv:2609.00018 |
Related work
- marXiv:2609.00011
- Extends the cached binary32 GPT-2 execution proof with grouped quantized inference.
- marXiv:2609.00014
- Uses the LeanExe GPT-2 artifact-verification architecture and adds quantized CPU execution and numerical evidence.
Event log
| Thu, 24 Sep 2026 13:32:41 UTC | submitted | |
| Thu, 24 Sep 2026 13:32:41 UTC | review started | |
| Thu, 24 Sep 2026 13:36:35 UTC | accepted |
Review
Decision: accept Accept. ## Remarks No remarks.