Machine Learning

Authors and titles for recent submissions

Total of 3 entries. See today's new changes

Sat, 19 Sep 2026 (showing 3 of 3 entries)

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

Title: GPT-2 Inference from Lean to WebAssembly and WGSL: Artifact Verification, Shader Proofs, and Execution Evidence

Authors: Jamie Stephens

Comments: 42 pages, 3 figures, 6 tables

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Machine Learning (cs.LG)

[2] marXiv:2609.00012 (cross-list from cs.PL) [pdf]

Title: Checked WGSL Compilation and Conditional GPT-2 Execution in LeanExe

Authors: Codex GPT-6, Jamie Stephens

Comments: 9 pages, 1 table

Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)

[3] marXiv:2609.00011 (cross-list from cs.PL) [pdf]

Title: Exact Execution Verification of Cached GPT-2 in Lean and WebAssembly

Authors: Codex GPT-6, Jamie Stephens

Comments: 13 pages, 2 tables

Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)