Logic in Computer Science

Authors and titles for August 2026

Total of 8 entries. next month ›

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

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

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

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

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

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

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

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