Skip to main content

Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification

Breadcrumb

  1. Home
  2. Publications
Publication Details
Author
Liyi Li
Mingwei Zhu
Yi Lee
Le Chang
Xiaodi Wu
Publication Type
Journal Article
Year of Publication
2022
URL
https://arxiv.org/abs/2211.06411
Journal
arXiv
  • Google Scholar
Contributors
Groups
QuICS
Wu Research Group
Date Published
11/2022