Programming Languages

New submissions for Mon, 21 Sep 2026

Total of 1 entry.

Cross-lists (showing 1 of 1 entries)

[1] marXiv:2608.00049 (cross-list from cs.LO) [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)