Programming Languages

Authors and titles for September 2026

Total of 7 entries. ‹ previous month

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

Title: Verified Terrain-Following Flight Planning in LeanExe

Authors: Jamie Stephens

Comments: 17 pages, five plotted runs in four figures

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

[2] marXiv:2609.00018 [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)

[3] 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)

[4] 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)

[5] 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)

[6] 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)

[7] 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)