Logic in Computer Science

New submissions for Mon, 21 Sep 2026

Total of 2 entries.

New submissions (showing 1 of 1 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)

Replacements (showing 1 of 1 entries)

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