Programming Languages

Authors and titles for recent submissions

Total of 9 entries. See today's new changes

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

[1] marXiv:2609.00014 [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 [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 [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)

Tue, 15 Sep 2026 (showing 1 of 1 entries)

[1] marXiv:2609.00006 (cross-list from cs.LO) [pdf]

Title: A Verified WebAssembly Solver for a Two-Dimensional Euler Riemann Problem

Authors: Codex GPT-6, Jamie Stephens

Comments: 15 pages, 2 figures

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

Fri, 18 Sep 2026 (showing 1 of 1 entries)

[1] marXiv:2609.00005 [pdf]

Title: The LeanExe Subset: Types, Extraction, and Execution

Authors: Codex GPT-6, Jamie Stephens

Comments: 16 pages

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

Mon, 21 Sep 2026 (showing 1 of 1 entries)

[1] marXiv:2608.00049 (cross-list from cs.LO) [pdf]

Title: VQ: Quantum Algorithm Development and Verification with an Evolving Knowledge Base

Authors: Jamie Stephens and AI

Comments: 12 pages, 5 tables

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

Sun, 30 Aug 2026 (showing 1 of 1 entries)

[1] marXiv:2608.00043 [pdf]

Title: VQ Among Machine-Checked Quantum Program Systems

Authors: Jamie Stephens

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

Tue, 11 Aug 2026 (showing 1 of 1 entries)

[1] marXiv:2608.00034 [pdf]

Title: Compiler-Generated Frame Accessors in Exact WebAssembly Proofs

Authors: Anonymous manuscript

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

Sun, 9 Aug 2026 (showing 1 of 1 entries)

[1] marXiv:2608.00030 [pdf]

Title: VQ System Design: Connecting Quantum Programs, Proofs, and Resource Reports

Authors: Jamie Stephens

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