Manuscript

Benchmarking Quantum Circuit Transformation with QKNOB Circuits
Sanjiang Li, Xiangzhen Zhou, Yuan Feng
引用 arXiv URL
Classical Verification of Quantum Computations in Linear Time
引用 arXiv URL
Equivalence Checking of Parameterised Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Mingsheng Ying
引用 arXiv URL
Quantum Maximum Entropy Inference and Hamiltonian Learning
Minbo Gao, Zhengfeng Ji, Fuchao Wei
引用 arXiv URL
Scalable surface code decoders with parallelization in time
Xinyu Tan, Fang Zhang, Rui Chao, Yaoyun Shi, Jianxin Chen
引用
Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows
Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li
引用 arXiv URL
Characterization of loss mechanisms in a fluxonium qubit
Hantao Sun, Feng Wu, Hsiang-Sheng Ku, Xizheng Ma, Jin Qin, Zhijun Song, Tenghui Wang, Gengyan Zhang, Jingwei Zhou, Yaoyun Shi, Huihai Zhao, Chunqing Deng
引用 arXiv URL
isQ: Towards a Practical Software Stack for Quantum Programming
Jingzhe Guo, Huazhe Lou, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying
引用 arXiv URL
Quantum Recursive Programming with Quantum Case Statements
Mingsheng Ying, Zhicheng Zhang
引用 arXiv URL
Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs
引用 arXiv URL