67 citations · 121 across the 21 of their papers we have counts for
3 papers · 1 filter
When Equivalent Quantum Circuits Lose Synthesis Choices
Boshuai Ye, Peng Liang, Arif Ali Khan
Quantum compilers synthesize high-level operations, such as the quantum Fourier transform and multi-controlled X gates, into gate-level circuits. Across compilation stages, a circu…
When A Beats B Needs Evidence: CLAIMSTAB-QC for Auditing Comparative Claims in Quantum Software
Boshuai Ye, Peng Liang, Maryam Tavassoli Sabzevari +1
Empirical quantum-software papers often claim that one compiler produces smaller circuits, one optimizer is more reliable, or one ansatz achieves better solution quality. Such comp…
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development -- RCR Report
Boshuai Ye, Arif Ali Khan, Teemu Pihkakoski +4
This is the Replicated Computational Results (RCR) Report for the paper C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development. The paper introduces a mo…