@misc{stephens2026vqamongmachinecheckedquantumprogramsystems,
  title={VQ Among Machine-Checked Quantum Program Systems},
  author={Jamie Stephens},
  year={2026},
  eprint={2608.00043},
  archivePrefix={marXiv},
  primaryClass={cs.PL}
}