Logic in Computer Science

Authors and titles for recent submissions

Total of 16 entries. See today's new changes

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

[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:2608.00049 [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)

Sat, 19 Sep 2026 (showing 2 of 2 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.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)

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

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

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

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

Thu, 10 Sep 2026 (showing 1 of 1 entries)

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

Wed, 9 Sep 2026 (showing 1 of 1 entries)

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

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

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

Mon, 31 Aug 2026 (showing 1 of 1 entries)

[1] marXiv:2608.00055 [pdf]
Title: Verification and Repair of a Space-Efficient Quantum ECDLP Construction
Authors: Jamie Stephens
Comments: 9 pages, 4 tables
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

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

[1] marXiv:2608.00044 (cross-list from cs.CC) [pdf]
Title: A Formal, Statistical, and Source Audit of Schrottenloher's Optimized Point-Addition Circuits for Elliptic-Curve Discrete Logarithms
Authors: Jamie Stephens
Comments: 25 pages
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[2] marXiv:2608.00043 (cross-list from cs.PL) [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 3 of 3 entries)

[1] marXiv:2608.00036 [pdf]
Title: Goal-Shape Tactic Retrieval for Exact WebAssembly Artifact Proofs
Authors: Anonymous manuscript
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[2] marXiv:2608.00035 [pdf]
Title: Lean Verification of Schrottenloher’s Optimized Elliptic-Curve Discrete-Logarithm Circuits: A Progress Report
Authors: Jamie Stephens
Subjects: Logic in Computer Science (cs.LO)
[3] marXiv:2608.00034 (cross-list from cs.PL) [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 (cross-list from cs.PL) [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)