Logic in Computer Science

Authors and titles for September 2026

Total of 8 entries. ‹ previous month

[1] marXiv:2609.00016 [pdf]

Title: Complete secp256k1 Point Addition with 1,601 Logical Qubits

Authors: Jamie Stephens and AI

Comments: 3 pages, 2 tables

Subjects: Logic in Computer Science (cs.LO)

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

[3] marXiv:2609.00013 [pdf]

Title: An 833-Qubit secp256k1 Discrete-Logarithm Algorithm with Machine-Checked Correctness and Resource Bounds

Authors: Jamie Stephens

Comments: 17 pages. Author and affiliation corrected.

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

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

[5] marXiv:2609.00005 (cross-list from cs.PL) [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)

[6] marXiv:2609.00004 [pdf]

Title: Verified Arithmetic Reductions for an 833-Qubit secp256k1 ECDLP Program

Authors: Jamie Stephens

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[7] marXiv:2609.00003 [pdf]

Title: Toffoli Reductions and Single-Run Recovery for an 833-Qubit secp256k1 ECDLP Program

Authors: Jamie Stephens

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[8] marXiv:2609.00002 [pdf]

Title: Windowed Euclidean Arithmetic in an 833-Qubit secp256k1 ECDLP Program

Authors: Jamie Stephens

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)