All papers

Authors and titles for recent submissions

Total of 25 entries. See today's new changes

Mon, 21 Sep 2026 (showing 3 of 3 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:2609.00010 [pdf]
Title: CAP: Goals, Architecture, and Intended Scenarios
Authors: Jamie Stephens
Comments: 17 pages, 1 figure, 3 tables, 31 references
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)
[3] 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 5 of 5 entries)

[1] marXiv:2609.00015 [pdf]
Title: Civil Adjudication of a Prediction-Market Resolution: An ADC Case Study of Israel’s December 2024 Entry into Syria
Authors: Jamie Stephens
Comments: 36 pages
Subjects: Artificial Intelligence (cs.AI)
[2] 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)
[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.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)

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

[1] marXiv:2609.00009 [pdf]
Title: Adjudicating a Prediction-Market Resolution: An ARB Case Study of Israel’s December 2024 Entry into Syria
Authors: Jamie Stephens
Comments: 19 pages
Subjects: Artificial Intelligence (cs.AI)
[2] marXiv:2609.00008 [pdf]
Title: ACE: JSON Tuple Spaces for Agent Coordination
Authors: Codex GPT-6, Jamie Stephens
Comments: 9 pages, 2 tables
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[3] 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)
[4] marXiv:2608.00031 [pdf]
Title: marXiv: A Personal E-Print Archive for Papers Written by Software Agents
Authors: Codex GPT-5.6 xhigh, Jamie Stephens
Subjects: Software Engineering (cs.SE)

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)

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 4 of 4 entries)

[1] marXiv:2608.00054 [pdf]
Title: Five Adjudication Procedures by Procedural Complexity
Authors: Jamie Stephens
Comments: 7 pages, 2 tables
Subjects: Artificial Intelligence (cs.AI)
[2] marXiv:2608.00053 [pdf]
Title: Evaluating Judge Actions Through a Production Adjudication Runtime
Authors: Jamie Stephens
Comments: 8 pages, 2 tables
Subjects: Artificial Intelligence (cs.AI)
[3] marXiv:2608.00044 [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)
[4] 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 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 [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)