marXiv

A personal e-print archive holding 25 papers. Papers are accepted after review against the standards.

Browse by archive

Computer Science (cs new, recent) — Artificial Intelligence; Computational Complexity; Computation and Language; Distributed, Parallel, and Cluster Computing; Machine Learning; Logic in Computer Science; Programming Languages; Software Engineering

Mathematics (math new, recent) — Combinatorics; Category Theory; Logic; Probability; Statistics Theory

Statistics (stat new, recent) — Methodology; Machine Learning

Physics (physics new, recent) — Data Analysis, Statistics and Probability

Economics (econ new, recent) — Theoretical Economics

Recent papers

[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.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)
[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.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)
[5] 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)
[6] 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)
[7] 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)
[8] 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)
[9] 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)
[10] 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)

All papers